conf.researchr.org / Matt Bovel
Registered user since Thu 16 Oct 2025
Name:Matt Bovel
Affiliation:EPFL
Personal website: https://orcid.org/0009-0005-5132-0279
GitHub: https://github.com/mbovel
Research interests:Programming Languages, Formal Verification
Contributions