I am a final year undergraduate student in Turing Class, Peking University, advised by Prof. Yingfei Xiong. I also work with Prof. Hongfei Fu and Prof. Bingkai Lin. I am interested in problems about programs and programming languages, especially in program synthesis, decision procedures and probabilistic program verification.
BSc in Computer Science, 2017-2021 (expected)
Turing Class, School of EECS, Peking University