PhD student
The University of Texas at Austin
UToPiA & Computer Science
ziteng [at] utexas.edu
University of California San Diego
B.S. Mathematics
B.S. Computer Science
Introduction
I am a first-year Ph.D. student at UT Austin, and my advisor is Işıl Dillig.
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. Now, I work on automating source-to-source translation problems.
I did my B.S. in Computer Science and Mathematics at UC San Diego, working with Nadia Polikarpova.
Recent Activities
Dec '20
PhD application for Fall'21 submitted.
Jan '20
I won Third Place at POPL'20 SRC and had a good time attending my first conference.
More activities here.