I am a Ph.D. student in Computer Science at the University of Edinburgh, where I am fortunate to be advised by the amazing Dr. Elizabeth Polgreen and funded by the School of Informatics. Before Edinburgh, I completed an M.Sc. (with Distinction) in Image and Video Communications and Signal Processing at the University of Bristol. Prior to that, I earned a B.Eng. in Electronic Engineering from Xidian University.

I broadly research techniques at the intersection of large language models (LLMs), formal methods, and programming languages. My focus is on developing novel techniques, applications, and theory that makes user-friendly automated reasoning frameworks.

🚀 I am on the job market!