Yuepeng Wang

Department of Computer and Information Science
University of Pennsylvania

Email: yuepeng AT seas DOT upenn DOT edu


I am a postdoctoral researcher at the University of Pennsylvania, working with Prof. Rajeev Alur and Prof. Mayur Naik. I obtained my Ph.D. and M.S. degrees from the University of Texas at Austin, where my advisor was Prof. Isil Dillig. Prior to UT-Austin, I obtained my B.E. degree with honors from the University of Science and Technology of China (USTC).

I will be starting as an Assistant Professor in the School of Computing Science at Simon Fraser University in August 2021.

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