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

Ziteng "Zetten" Wang


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


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

Dec '20

PhD application for Fall'21 submitted.

Oct '20

New features of Hoogle+ are published to OOPSLA'20.

Jan '20

I won Third Place at POPL'20 SRC and had a good time attending my first conference.

More activities here.