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
Using general profile