ZitengZetten Wang

Ph.D. student
Computer Science
University of Texas at Austin
  ziteng [at] utexas.edu

---

Introduction

Welcome! My name is Ziteng, though I usually go by Zetten. I am a final-year Ph.D. student in Computer Science at the University of Texas at Austin, where I have the privilege of being advised by Işıl Dillig and Dixin Tang. My research is broadly in programming languages and formal methods, where I derive efficient, provably correct implementations from high-level specifications, with applications to data systems and AI infrastructure.

I develop techniques for building reliable, high-performance systems as software infrastructure evolves from offline batch processing to continuous streams, large-scale data analytics, and AI-era workloads. Across these settings, my work reduces the need for brittle hand-written optimizations, handling computations that range from streaming aggregations to ML kernels while providing guarantees that neither human experts nor LLMs alone can offer. Applications of my work include streaming algorithms, user-defined analytics, compiler optimization, ML inference infrastructure, and security-critical software.

Before my Ph.D., I earned a dual B.S. degree in Computer Science and Mathematics from UC San Diego, where I worked as a research assistant under the supervision of Nadia Polikarpova.

News