conf.researchr.org / Matt Bovel
Registered user since Thu 16 Oct 2025
Name:Matt Bovel
Country:Switzerland
Affiliation:EPFL
Personal website: https://matt.bovel.net/
GitHub: https://github.com/mbovel
Research interests:Programming Languages, Formal Verification
Contributions
2026
Scala
- Author of Welcome to the Scala Workshop! within the The Scala Workshop 2026-track
- Session Chair of Session 1 (part of The Scala Workshop 2026)
- Author of Refinement Types in Scala with Stainless within the The Scala Workshop 2026-track
- Organizer in Organizing Committee within the The Scala Workshop 2026-track