Yuepeng Wang

My areas of interest are programming languages, formal methods, and databases. I am particularly interested in synthesizing programs from high-level specifications and verifying software correctness. My recent research focuses on helping developers correctly and easily evolve database applications. 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.

Education:

• PhD Computer Science, University of Texas at Austin, 2020
• MS Computer Science, University of Texas at Austin, 2020
• BE Computer Science and Technology, University of Science and Technology of China, 2014

Research Interests:

• Program synthesis
• Program verification
• Programming languages
• Formal methods

Teaching Interests:

• Programming languages
• Compilers
• Discrete Math

Companies

• Assistant Professor Simon Fraser University (2021)
• Postdoctoral Researcher University of Pennsylvania (2020 — 2021)
• Research Intern Microsoft (2018 — 2018)
• Software Engineering Intern Cadence Design Systems (2015 — 2015)
• Research Intern The University of Hong Kong (2013 — 2013)