Skip Navigation Skip to Content Skip to Footer

Our People

Dr Shufang Zhu

Research Member of Common Room

Senior Research Associate

Department of Computer Science

Shufang Zhu is 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. Her research concerns interdisciplinary knowledge across artificial intelligence (AI) and formal methods (FM), focusing on automated reasoning, planning, and synthesis. She received her PhD in 2020, at East China Normal University (ECNU), Shanghai, China, under the supervision of Prof Geguang Pu. During her PhD, she received a scholarship from the Chinese Scholarship Council (CSC) and studied as a visiting PhD student (August 2016 to Feb 2018) at Rice University, under the supervision of Prof Moshe Y Vardi.

Her personal webpage is