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 the Department of Computer Science, University of Science and Technology of China (USTC).

My CV is available here.

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