ICFP/SPLASH 2025 (series) / 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
Using general profile