I am a second year Ph.D. student in computer science at University of California, San Diego. I am fortunate to work with Loris D’Antoni. My recent research focuses on developing program synthesis techniques that can be applied to PL-related domains, such as specification mining and static analysis.

I am currently working as a Applied Scientist Intern at Amazon Automated Reasoning Group, mentored by Victor Nicolet and Joey Dodds.

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 Yingfei Xiong and Di Wang.

Here is my daily blog.

Download my CV.