SAIV 2024


Shufang Zhu

University of Oxford, University of Liverpool

Short Bio: 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. She is joining University of Liverpool in September as a Lecturer (Assistant Professor in US terminology). 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. in March 2020, at East China Normal University (ECNU), Shanghai, China, under the supervision of Prof. Geguang Pu and co-advised by Prof. Moshe Y. Vardi from Rice University.

More Information:
Talks at this conference:
 Tue, 9:30 Trustworthy-by-Design Autonomous AI Systems