PhD student at @lampepfl and @epfl-lara, working on refinement types for Scala 3.
Former intern at @oracle Labs, worked on GraalWasm and Truffle.
-
EPFL
- Lausanne, Switzerland
- matt.bovel.net
- https://orcid.org/0009-0005-5132-0279
Earned achievements
Pair Extraordinaire
x4
Pair Extraordinaire
x4
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading