I am a Research Associate, working with Prof. Marta Kwiatkowska on the ERC project FUN2MODEL and the ELSA project, in the Department of Computer Science, University of Oxford. I received my Ph.D. degree in 2022 advised by Prof. Meng Sun, and my B.Sc. degree in 2017 from Peking University. The focus of my research lies at the intersection of formal methods (FM) and artificial intelligence (AI). My recent works concentrate on trustworthy deep learning, approached from both provable certification and practical empirical perspectives.