Mathieu Boespflug

Expert Overview

Mathieu Boespflug is the founder of Tweag I/O, an R&D lab making deep tech happen with their clients in biotech, fintech, HPC and aviation.

Some time before that, after having learned Haskell from the venerable old and new guard at the University of York, he wrote Haskell and Ocaml at various academic institutions, focusing on compiler technologies for dependent types during his PhD and later type safe metaprogramming for both proofs and programs. He's the main author of 30+ packages on Hackage, including language interop and Haskell support in Bazel.

Things I'm Doing
Talks I've Given

Talks I've Given