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 https://shufang-zhu.github.io/