Matt Bovel is a PhD student and doctoral assistant at the Swiss Federal Institute of Technology in Lausanne (EPFL), in the LAMP lab (aka the Scala team). He wants to make it easier and fun to write robust bug-free programs using type-level programming, dependent types and refinement types.

He holds a Master in Computer Science from EPFL and previously was an intern at Oracle Labs where he worked on GraalVM, Truffle and GraalWasm.