I am a Research Associate working on the ERC project FUN2MODEL (PI: Prof. Marta Kwiatkowska) at 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.