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
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.
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
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).
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