Yuepeng Wang

Department of Computer Science
Univeristy of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712

Email: ypwang AT cs DOT utexas DOT edu


I am a final-year PhD student in the Department of Computer Science at the University of Texas at Austin. My advisor is Prof. Isil Dillig. Prior to UT-Austin, I obtained my B.E. degree with honors from Department of Computer Science, University of Science and Technology of China (USTC).

I am on the academic job market this year. [CV]


Research Interests

My areas of interest are programming languages, formal methods, and databases. My recent research focuses on helping developers correctly and easily evolve database applications using formal methods. I am also interested in developing foundational program synthesis techniques.

Projects

Publications

Teaching

Awards