I am Dr Yixuan Li, a researcher at the intersection of large language models (LLMs), formal methods, and programming languages, where I design LLM-enabled techniques for trustworthy, user-friendly synthesis frameworks. My work spans program synthesis, verification, and natural language driven tooling, and has been published at PLDI, AAAI, CAV, ACL Findings, FMCAD, and SYNT.

I recently completed my PhD in Computer Science at the University of Edinburgh (2022–2025), funded by a fully supported scholarship and co-advised by Elizabeth Polgreen and Michael O’Boyle. Earlier, I earned an MSc (Distinction, GPA 76/100) in Image and Video Communications and Signal Processing from the University of Bristol and a BEng in Electronic Information from Xidian University.

My recent experience includes a research internship with Huawei R&D UK (AI browser, code analysis, and generation projects), LLM-assisted theorem proving at Heriot-Watt University, and teaching the System Design Project at Edinburgh, where I guided teams through full-stack robotic builds. Highlights from the past year include talks at PLDI, AAAI, EuroProofNet, and the European OpenHarmony Technical Forum.