About Me

I’m a final year Ph.D. student in Bristol PL Research Group at the University of Bristol. My research focuses on automatic program translation targeting Rust, leveraging static analysis, formal methods, and large language models (LLMs). I’m fortunate to be supervised by Meng Wang and Cristina David.

Before joining Bristol, I was an undergrad at Peking University supervised by Zhenjiang Hu and Yingfei Xiong. I had a wonderful time conducting research on reasoning and optimising bidirectional programs by using program calculation techniques.