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)

Latest news

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.