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 fifth-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 program synthesis, formal methods, and software engineering.

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 asks how we can turn high-level intent into efficient implementations, reducing the need for brittle hand-written optimizations while preserving correctness and performance. 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