About
I am a Lecturer (Assistant Professor in US terms) at the Department of Computer Science, University of Liverpool. Additionally, I am an Associate Member of the Department of Computer Science, University of Oxford. Prior to joining Liverpool, I was 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. My expertise lies in the interdisciplinary research area of artificial intelligence (AI) and formal methods (FM), with a focus on automated planning and synthesis.
I received my Ph.D. degree in 2020, at East China Normal University (ECNU), Shanghai, China, under the supervision of Prof. Geguang Pu. During my Ph.D., I got the scholarship from Chinese Scholarship Council (CSC) and studied as a visiting Ph.D. student (August 2016 to Feb 2018) at Rice University, under the supervision of Prof. Moshe Y. Vardi.