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.
Affiliation: Tweag I/O
Personal website: https://www.linkedin.com/in/mboes
Research interests: Haskell
|SPLASH 2020||Author of Miniaturize All States! within the REBASE-track|
|Show activities from other conferences|