May 2019 - Photo by yuuki @ Big Bear Lake, CA
Zetten in front of AP&M, La Jolla

Ziteng "Zetten" Wang


Senior undergraduate student
University of California, San Diego
B.Sc. Pure Mathematics
B.Sc. Computer Science - Honor

Research Interests

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

Oct '20

Our recent efforts on the Haskell synthesizer, Hoogle+, is accepted to OOPSLA 2020!

Jan '20

I will be attending POPL 2020 at New Orleans for our work, Program Synthesis by Type-Guided Abstraction Refinement, and the poster session of my submission for SRC. I am looking forward to POPL, as it is my very first time heading to a conference!

Dec '19

My personal website, after construction for 2 years (uh-oh), is now alive. (partially)

May '19

My 18th birthday! The photo on the top is also taken in the same month, when we have a road trip to Big Bear Lake, CA.