Mathieu Boespflug
VP Open Source at Modus Create
Athens, Attica, Greece
Summary
🤩
Rockstar🎓
Top SchoolMathieu Boespflug is a VP Open Source and seasoned software engineer with 18 years of experience bridging academic research in programming languages and formal methods with entrepreneurial engineering at scale. As founder and former CEO of Tweag, he grew a 100-person consulting and R&D lab focused on high-risk, high-reward projects across HPC, biopharma, finance and robotics before integrating the team into Modus Create to lead its OSPO. He combines deep Haskell and compiler expertise—evidenced by contributions to GHC, Pandoc and LiquidHaskell—with practical systems work on distributed-process libraries and tooling like Stack and Nickel. Mathieu’s mission-driven approach emphasizes correctness, compositional design and powerful static analysis to speed iteration and reliability in distributed systems. Based in Athens, he hires globally and applies mathematical rigor, open-source practices and reproducible builds to real-world engineering problems. A less obvious strength is his track record of improving developer experience across both research-grade compilers and production configuration languages.
18 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at École PolytechniqueMMath Mathematics and Computer Science, MMath Mathematics and Computer Science at University of York
English, French
Stackoverflow
1,816reputation
22kreached
17answers
2questions
haskell
top-5%
Github Skills (49)
markup10
nix10
back-end-development10
pretty-print10
converter10
configuration-management10
verification10
distributed-systems10
data-serialization10
formatter10
formater10
serialization10
sql-formatter10
compiler-design10
exception-handling10
Programming languages (23)
Github contributions (5)
haskell-distributed/distributed-process
Oct 2013 - Dec 2016
Cloud Haskell core libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:55 commits, 7 PRs, 17 pushes in 3 years 2 months
Contributions summary:Mathieu primarily contributed to the core libraries of the Cloud Haskell project, focusing on improving code quality and exception safety. Their work included removing tests from the main .cabal file, making code changes to improve -Wall cleanliness, and adding static serialization dictionaries for closure types. Furthermore, the user addressed potential issues related to exception handling within process forking, enhancing the stability of the distributed system.
cloud-haskellhaskellcore-librarydistributed-systemsservant
tweag/nickel
Jan 2019 - Jan 2022
Better configuration for less
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 reviews, 23 commits, 10 PRs in 3 years
Contributions summary:Mathieu primarily focused on improving the Nickel configuration language's core functionality and internal structure. Their contributions involved refactoring code, including renaming and restructuring modules (e.g., `Repl` and `REPL`). They addressed code style issues and eliminated unnecessary code patterns identified by linters and automated tooling, promoting code quality. The user also made changes to improve error handling and the REPL interface.
configurationinfrastructureconfignickeldotfiles
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.