Matt Bovel
Il - He/him
EPFL IC IINFCOM LAMP1
INR 319 (Bâtiment INR)
Station 14
1015 Lausanne
+41 21 693 62 65
Office:
INR 317
EPFL › IC › IINFCOM › LAMP1
Website: https://lampwww.epfl.ch
Expertise
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.
Current Work
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.