Yuepeng Wang

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

Email: ypwang AT cs DOT utexas DOT edu

I am a PhD student in Department of Computer Science, University of Texas at Austin, under the supervision of Prof. Isil Dillig. My research interests lie broadly in program verification and program synthesis. 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).

Publications

Teaching

Awards