About Me

I’m a second year Ph.D. student in Bristol PL Research Group at the University of Bristol. I’m fortunate to be supervised by Meng Wang and Cristina David. I’m interested in programming languages, program analysis and software verification. I’m currently working on the automatic generation of safe and correct code by devising static analysis and leveraging the power of LLMs.

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.