Dr Shufang Zhu
Wolfson Building, Parks Road, Oxford OX1 3QD
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. My research concerns interdisciplinary knowledge across formal methods (FM) and artificial intelligence (AI), focusing on automated reasoning, planning and synthesis.
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.
Quick links to find me:
My Erdős number is at most 3 (via Moshe Y. Vardi -> Joel H. Spencer -> Paul Erdős).
You can find my CV here.
- Co-Chair: On the Effectiveness of Temporal Logics on Finite Traces in AI, part of the AAAI 2023 Spring Symposium Series.
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