معرفی
Dr. Shufang Zhu is a Lecturer in the Department of Computer Science at the University of Liverpool and an Associate Member of the Department of Computer Science at the University of Oxford. She holds a PhD from East China Normal University (2020), earned under the supervision of Prof. Geguang Pu, with additional training at Rice University as a visiting student (2016-2018) under Prof. Moshe Y. Vardi.
- Expertise: Artificial Intelligence, Formal Methods, Automated Planning, and Synthesis
- Key Affiliation: Department of Computer Science, University of Liverpool
- Secondary Role: Associate Member, University of Oxford
- Teaching: Module Co-ordinator for COMP392 (15 Credit Project)
Her research focuses on the intersection of artificial intelligence and formal methods, specifically developing synthesis frameworks for Linear Temporal Logic (LTL) specifications over finite traces. She works on symbolic approaches for strategy synthesis, addressing challenges in winning strategies, dominant strategies, and best-effort solutions while exploring misconceptions in finite-trace vs. infinite-trace temporal logic.
Recent publications highlight her contributions to compositional symbolic synthesis (LydiaSyft), trembling-hand robustness in LTLf planning, and theoretical foundations of LTL synthesis under environment constraints. Her work is supported by collaborations with leading researchers including Prof. Giuseppe De Giacomo on the ERC-funded WhiteMech project.
Awarded a Chinese Scholarship Council (CSC) scholarship during her doctoral studies, she combines theoretical rigor with practical applications in automated reasoning and verification.
