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
Research interests:Haskell

Contributions

Haskell 2021 Invited Speaker of Why Functional Programming with Linear Types Matters within the Haskell 2021-track
SPLASH 2020 Author of Miniaturize All States! within the REBASE-track
HIW 2017 Author of Tracking GHC Performance within the HIW 2017-track
POPL 2018 Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Research Papers-track
Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Artifact Evaluation-track