Ziteng "Zetten" Wang
I am a third-year undergraduate student in Computer Science and Mathematics, whose interest spans programming systems that help developers write readable, correct, and efficient programs. Specifically, I would like to improve and build toolchains that shape our software industry.
Ever since I started programming in high school, I was fascinated by languages and toolchains themselves, and pondering over how they worked together to solve real-world problems and how people constructed these expressive programming languages. Thus, I am passionate about working on PLs and look forward to seeing that their revolution eventually profits the software industry.
Here is my curriculum vitae.
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.