Shufang-Zhu.github.io
Dr. Shufang Zhu
I am a Senior Research Associate at the Department of Computer Science, University of Oxford, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech.
I received my Ph.D. degree in 2020, at East China Normal University (ECNU), Shanghai, China, under the supervision of Prof. Geguang Pu. During my Ph.D., I got the scholarship from Chinese Scholarship Council (CSC) and studied as a visiting Ph.D. student (August 2016 to Feb 2018) at Rice University, under the supervision of Prof. Moshe Y. Vardi.
Academic job market 2024: Resume.
Quick links to find me:
My Erdős number is at most 3 (via Moshe Y. Vardi -> Joel H. Spencer -> Paul Erdős).
Email: shufang.zhu(at)cs.ox.ac.uk
Latest news
-
Oct 20, 2023 I will be attending F+Cube at TU Delft as a selected Mentee!
-
Oct 13, 2023 I will be attending Future Digileaders in stockholm as a selected Future Digileader!
-
Sept 30, 2023 I will be attending ECAI’26 in Krakow!
-
Sept 23, 2023 I will be attending the Dagstuhl Seminar on The Futures of Reactive Synthesis!
-
Jul 15, 2023 Paper accepted to ECAI 2023!
-
Jul 5, 2023 Two papers accepted to EUMAS 2023!
-
Jun 19, 2023 Our tool LydiaSyft won the 2nd place in the synthesis competition! Check here for the tool description.
Previous news
* Jun 16, 2023 I will be attending the 12th workshop on synthesis and CAV'23. * Jun 15, 2023 I will be attending the 7th International Workshop "Women in Logic". * Mar 2, 2023 Course on Game-Theoretic Approach to Planning and Synthesis accepted to ESSAI’23.Experience
-
Senior Postdoctoral Research Associate, 2023 - Present
University of Oxford, Oxford, UK -
Postdoctoral Research Associate, 2020 - 2022
Sapienza Università di Roma, Rome, Italy -
Researcher, 2020.5 - 2020.10
Shanghai Industrial Control Safety Innovation Technology Co. LTD (TICPSH), Shanghai, China -
Researcher Intern, 2018.6 - 2018.8
OS Kernel Lab, Huawei, Shanghai, China -
Ph.D. Researcher, 2016.8 - 2018.2
Rice University, Houston, US
Education
-
Ph.D. in School of Software Engineering, 2014 - 2020
East China Normal University, Shanghai, China (ECNU). -
B.Sc. in School of Software Engineering, 2010 - 2014
East China Normal University, Shanghai, China (ECNU).
Teaching
-
2023: Game-Theoretic Approach to Planning and Synthesis
Lecturer, European Summer School on Artificial Intelligence -
2023: Foundations of Self-Programming Agents
Teaching Assistant, Hilary Term, University of Oxford -
2022: Game-Theoretic Approach to Planning and Synthesis
Lecturer, Italian National PhD Program in Artificial Intelligence