Registered user since Fri 14 Nov 2025
Name:Yawen Guan
Country:Switzerland
Affiliation:EPFL
Personal website: https://yawen.me/
GitHub: https://github.com/yawen-guan
Research interests:Programming languages, formal methods, program verification, interactive theorem proving, software engineering
Contributions
POPL 2026-profile
View general profile
View general profile