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.

  • Program Synthesis
  • Program Verification
  • Blockchain Security
  • BSc in Computer Science, 2023 (expected)

    Turing Class, Peking University


Research Assistant
Programming Languages Lab
Mar 2021 – Present Peking University, Beijing
Veridise Inc.
Research Intern
May 2022 – Present Austin, TX, USA