I am a second year Ph.D. student in computer science at University of California, San Diego. I am fortunate to work with Prof. Loris D’Antoni. My main research interest is programming languages, especially program synthesis.
Before moving to UCSD, I had a wonderful year in UW-Madison. 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 and Prof. Di Wang.
Here is my daily blog.
Download my CV.
Ph.D. in Computer Science, 20xx
University of California - San Diego
BSc in Computer Science, 2023
Turing Class, Peking University