Senior undergraduate student
University of California, San Diego
B.S. Mathematics
B.S. Computer Science - Honor
Introduction
I am a senior undergraduate student at UC San Diego with a double major in Computer Science and Mathematics. I'm interested in the area of Programming Languages where I could employ reasoning and checking techniques to help developers write readable, correct, and efficient programs. I am working with Prof. Nadia Polikarpova on Program Synthesis and Software Testing now.
Ever since I started writing code in high school, programming languages and toolchains have always fascinated me: I pondered over how the evolution of PL techniques refined real-world software engineering. Then, I am willing and fortunate to be able to contribute to the area of Programming Languages.
Here is my curriculum vitae.
Recent Activities
PhD application for Fall'21 submitted.
I won Third Place at POPL'20 SRC and had a good time attending my first conference.
More activities here.