Yuepeng Wang
Assistant Professor at School of Computing Science, Simon Fraser University
Expertise
Links
Biography
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)
Read about executive education
Other experts
Looking for an expert?
Contact us and we'll find the best option for you.