SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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 2020Author of Miniaturize All States! within the REBASE-track
Show activities from other conferences

Using general profile