Biography

I am a first year Ph.D. student at computer science in University of Wisconsin - Madison. I am fortunate to work with Prof. Loris D’Antoni. My main research interest is programming languages, especially program synthesis.

I received my B.S. degree in computer science from Turing Class, Peking University. I used to be a member of PKU-PLL, supervised by Prof. Yingfei Xiong. I also worked closely with Prof. Di Wang.

Here is my daily blog.

Download my CV.

Interests
  • Program Synthesis
  • Program Verification
Education
  • Ph.D. in Computer Science, 20xx

    University of Wisconsin - Madison

  • BSc in Computer Science, 2023

    Turing Class, Peking University

Experience

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