I am 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 research concerns interdisciplinary knowledge across formal methods (FM) and artificial intelligence (AI), focusing on automated reasoning, planning and synthesis.
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.
Quick links to find me:
My Erdős number is at most 3 (via Moshe Y. Vardi -> Joel H. Spencer -> Paul Erdős).
You can find my CV here.
- Co-Chair: On the Effectiveness of Temporal Logics on Finite Traces in AI, part of the AAAI 2023 Spring Symposium Series.
2023: Foundations of Self-Programming Agents
Teaching Assistant, Hilary Term, University of Oxford