Skip to main content

Shufang Zhu

Personal photo - Shufang Zhu

Dr Shufang Zhu

Senior Research Associate


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.