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.