Matt Bovel
PhD Student, EPFL
GitHub
ORCID
Researchr
LinkedIn
EPFL
I am a PhD student at EPFL, co-supervised by Martin Odersky and Viktor Kunčak.
I work on Scala 3, particularly on integrating refinement types into the language. I am interested in programming language design and type systems, especially soundness proofs with semantic typing and definitional interpreters. I also very much enjoy teaching and supervising students.
I will likely be looking for a postdoc position in 2027.
Publications
- OOPSLA 2026
-
First-Class Refinement Types for Scala
Matt Bovel, Viktor Kunčak and Martin Odersky
Homepage DOI
- MPLR 2025
-
Existentialize Your Generics
Dimi Racordon, Matt Bovel and Hamza Remmal
PDF DOI
- MPLR 2024
-
Existential Containers in Scala
Dimi Racordon, Eugène Flessel and Matt Bovel
PDF DOI
- SEFI 2024
-
An Automatic Grading System for Large Classes
Matt Bovel and Hamza Remmal
PDF DOI
Talks
- EPFL PL Seminar 2026
-
Semantics of Recursive Types
Homepage Repo Slides Report
- WITS 2026
-
First-Class Refinement Types in Scala 3
Repo Slides Proposal
- The Scala Workshop 2025
-
Logically Qualified Types in Scala 3
Repo Slides Proposal
- ScalaCon 2022
-
Type-Level Programming in Scala
Repo Slides
Service
- The Scala Workshop 2026
-
Organizer
Homepage LinkedIn
- Powercoders 2021–2025
-
IT Mentor
Newsletter article Website
- ICOOOLPS 2024
-
Program Committee Member
Homepage
- VIMPL 2024
-
Program Committee Member
Homepage
Supervision
- Summer 2026
-
Semantic Types for References
Summer internship
Elliot Bobrow
- Spring 2026
-
Refinement Types in Stainless
PhD fellowship project
Katarzyna Marek
- Spring 2026
-
Termination Checking in Scala
Master semester project
Ozair Faizan
- Spring 2026
-
Moodle Autograde : Ouverture aux rendus programmatiques
Master semester project
Quentin Louan Gross
- Autumn 2025
-
SMT-Based Encoding of Nominal Subtyping for Symbolic Execution
Master thesis in industry (Sonar)
David Schroeter
- Autumn 2025
-
Static Divergence Checking for Scala 3 Match Types
Master semester project
Lluc Santamaria Riba
- Autumn 2025
-
Off-Heap Memory Library for Scala
Bachelor project
Aslı Ünlüer
- Spring 2024
-
Java Mode for Simulating Native Image Behaviour
Master thesis in industry (Oracle)
Capucine Berger-Sigrist
- Spring 2023
-
Syntax and Runtime Checks for Qualified Types in Scala 3
Master thesis
Quentin Bernet
- Autumn 2022
-
Type-Safe SQL Queries in Scala
Master thesis
Martin Kučera
- Spring 2022
-
RISC-V Backend for GraalVM Native Image
Master thesis in industry (Oracle)
Sacha Coppey
Teaching
- 2023-2024
-
CS-214 Software Construction
(Head) Teaching Assistant
Homepage Description
- 2021-2022
-
CS-210 Functional Programming
(Head) Teaching Assistant
- 2021-2022
-
CS-206 Parallism and Concurrency
(Head) Teaching Assistant
- 2017-2020
-
CS-119 Information, Computation and Communication
Student Assistant
- 2018
-
CS-108 Practice of object-oriented programming
Student Assistant
Award
- 2023
-
IC PhD Teaching Award
-
