About
Yuepeng Wang is an Assistant Professor at the School of Computing Science, Simon Fraser University, Canada. He received his PhD and MSc from the University of Texas at Austin and BEng (honors) from the University of Science and Technology of China. Previously, he was a postdoctoral researcher at the University of Pennsylvania.
- Academic Honors: Distinguished Paper Award (OOPSLA'24, OOPSLA'17)
- Research Focus: Programming languages, formal verification, program synthesis, software engineering, and databases
His research combines program verification and synthesis techniques across database applications, smart contracts, and software refactoring. Recent work focuses on SQL query equivalence, smart contract verification, and synthesis-driven database transformations. He supervises multiple graduate students and teaches advanced courses in programming languages and formal verification.
He has contributed 15+ publications to top venues including PLDI, OOPSLA, ICSE, and POPL. His service includes program committee roles at POPL'26, SAS'25, and artifact evaluation committees for OOPSLA'23 and CAV'20. He also received the Distinguished Reviewer Award from PLDI'24.
