Matt Bovel

[email protected]

EPFL Lausanne, Switzerland PhD student at @lampepfl, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle. CS MSc/BSc from EPFL.