SPLASH 2020 (series) / Mathieu Boespflug

Not registered as user yet
Name: Mathieu Boespflug
Bio: Mathieu is the CEO of Tweag I/O, an independent industrial lab helping startups and research groups within the enterprise boldly ship high-risk, high-reward digital products. He was involved in European initiatives for exascale storage, worked on build systems, programming language interop and compilers. In a previous life, Mathieu was a researcher in formal methods and programming language design. He has a PhD from École Polytechnique.
Country: France
Affiliation: Tweag I/O
Personal website: https://www.linkedin.com/in/mboes
Research interests: Haskell
Contributions
SPLASH 2020 | Miniaturize All States! | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile