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
Popular Courses
The Positive Leader: Deep Change and Organizational Transformation
Stephen M. Ross School of Business
Ann Arbor, Michigan, United States
Dec 1
Private Equity: Investing and Creating Value
The Wharton School
Philadelphia, Pennsylvania, United States
Feb 2, 2025
Leading People and Teams
ESMT
Berlin, Germany
Nov 19
Looking for an expert?
Contact us and we'll find the best option for you.