I’m Xuanyu Peng（彭轩宇）, an undergraduate student from Turing Class, Peking University. I’m now doing research at PL lab, supervised by Prof. Yingfei Xiong. My main research interest is programming languages, especially program synthesis. I am also interning at Veridise, a company that provides a solution for hardening the security of the blockchain ecosystem. And the internship is under the supervision of Prof. Isil Dillig and Prof. Yu Feng.

Here is my daily blog.

Download my CV.