Ziteng "Zetten" Wang
@mistzzt
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
Our recent efforts on the Haskell synthesizer, Hoogle+, is accepted to OOPSLA 2020!
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!
My personal website, after construction for 2 years (uh-oh), is now alive. (partially)
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.