I am a third year Ph.D. student in computer science at University of California, San Diego. I am fortunate to work with Loris D’Antoni. My research aims to enhance software reliability and efficiency through program synthesis, with a current focus on its applications in specification mining, static analysis, and fuzzing. I worked 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.