Shufang ZhuView profile
Lecturer
Dr. Shufang Zhu is a Lecturer (Assistant Professor equivalent) at the Department of Computer Science, University of Liverpool , and an Associate Member at the University of Oxford’s Department of Computer Science . Previously, she held roles including Senior Research Associate at Oxford (2023–2024) and Postdoctoral Researcher at Sapienza Università di Roma (2020–2022). She earned her Ph.D. in Software Engineering from East China Normal University (ECNU, 2020) under Prof. Geguang Pu, with a visiting Ph.D. at Rice University (2016–2018) under Prof. Moshe Y. Vardi. Education: B.Sc./Ph.D. in Software Engineering from ECNU (2010–2020). Scholarships include the Chinese Scholarship Council (CSC) and UT Austin EECS Rising Star (2022). Her research focuses on interdisciplinary areas of Formal Methods and Artificial Intelligence , emphasizing automated reasoning, planning, and synthesis. Key topics include temporal logics (LTL/LTLf), symbolic synthesis frameworks, and applications in reactive systems. Notable work addresses finite-trace specifications, best-effort strategies, and coordination in multi-agent systems. Teaching: Lecturer for Game-Theoretic Approach to Planning and Synthesis (European Summer School) and Foundations of Self-Programming Agents (Oxford). She also supervises funded Ph.D. positions, including a 2025 deadline for CSC-Liverpool scholarships. Awards: Future Digileader (Digital Futures, 2023), UT Austin EECS Rising Star (2022). Erdős number ≤3 via Moshe Y. Vardi. Collaborations: Co-chair of AAAI 2023 symposium on temporal logics in AI. Active in open-source tools like LydiaSyft for LTLf synthesis. Engages with academic networks through Google Scholar, DBLP, and GitHub.












