Expert OverviewThings I'm DoingTalks I've Given
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.
Talks I've Given
Type-Level Programming in Scala
Featuring Matt Bovel
Learn how to increase your design space for compile-time verification in Scala 3!software-development type-level-programming scala scala-3