Yuepeng Wang

Assistant Professor
School of Computing Science
Simon Fraser University

Email: yuepeng@sfu.ca
Phone: 778-782-4480
Office: TASC1 9207

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 verification and synthesis techniques. Prior to joining SFU, I was a postdoctoral researcher at the University of Pennsylvania. I obtained my PhD from the University of Texas at Austin.

I am looking for PhD and thesis MSc students starting in the fall of 2022. If you are interested in working with me, please complete the SFU online application and contact me by email.