Command palette
Search and navigate
Pipeline
Grad outreach
Professors
Yuepeng Wang
Assistant Prof ·
Simon Fraser University
· Computing Science
✉ yuepeng@sfu.ca
Website
Google Scholar
QS #308
2026
Log email
List
Research focus
software engineering
Keywords
program synthesis
program verification
formal methods
Recent works
Sign in to see data
Sign in
Lab
Sign in to see data
Sign in
Note
0