Follow Us On

Shufang Zhu

Senior Research Associate at the Department of Computer Science, University of Oxford

Speaker Info

  • shufang.zhu@cs.ox.ac.uk

Speaking Sessions

Biography

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 Ph.D. degree in 2020, at East China Normal University, Shanghai, China, under the supervision of Prof. Geguang Pu. During her Ph.D., she received the scholarship from Chinese Scholarship Council and studied as a visiting Ph.D. student (August 2016 to Feb 2018) at Rice University, under the supervision of Prof. Moshe Y. Vardi.