Thomas Gazagnaire
Founder, Chief Technology Officer at Parsimoni - creators of SpaceOS
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top School
Top expert inFunctional Programming and Formal Verification Technologies
Thomas Gazagnaire is a founder and technology leader with 17 years building secure, high-performance systems and a deep academic background in distributed systems and functional programming. He co-created MirageOS at Cambridge and commercialized unikernels through Unikernel Systems, a venture later acquired by Docker, with MirageOS technology now embedded in millions of Docker Desktop installs and in commercial HSMs. As CEO/CTO of Tarides and founder/CTO of Parsimoni (SpaceOS), he maintains key OCaml infrastructure (opam, Dune, Merlin, odoc, Eio) and ships unikernel-based runtimes for satellites that are 20x smaller than containers and include post-quantum crypto and CCSDS stacks. His hands-on contributions span major open-source projects (mirage, vpnkit, datakit, linuxkit, docker plugins) and core systems work from DHCP unikernels to XenAPI enhancements. Based in Paris, he combines research-grade rigor with product-driven engineering, repeatedly turning niche systems research into widely deployed, production-grade tooling. An underappreciated facet: he consistently applies functional programming practices to industrial virtualization and embedded space systems, bridging academia and aerospace-grade deployments.
16 years of coding experience
13 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Université de Rennes IMaster, Computer Science, Master, Computer Science at Ecole Normale Superieure de CachanMaster, Computer Science, Master, Computer Science at École normale supérieure de Lyon
French, English
Github Skills (34)
docker10
licensing10
xml-rpc-client10
back-end-development10
apidoc10
testing10
plugin-development10
http10
build-system10
containerization10
dockers10
vfs10
ocaml10
mirage10
http-client10
Programming languages (21)
Github contributions (5)
moby/datakit
Feb 2016 - Mar 2019
Connect processes into powerful data pipelines with a simple git-like filesystem interface
Role in this project:
Back-end Developer
Back-end DeveloperContributions:17 releases, 1212 commits, 536 PRs in 3 years 1 month
Contributions summary:Thomas appears to be a back-end developer, primarily focused on implementing core functionality within the `datakit/datakit` repository. Their contributions involved adding source code for the SDK and the database functionality, cleaning up the build process and displaying the proper version number. The user also reorganised and simplified the build and contributed to the VFS layer.
simple-gitpipelinefilesystem-apidockerdata-pipelines
mirage/mirage
Sep 2010 - Aug 2022
MirageOS is a library operating system that constructs unikernels
Role in this project:Back-end Developer
Back-end DeveloperContributions:15 releases, 99 reviews, 1265 commits in 12 years 1 month
Contributions summary:Thomas's contributions primarily focused on adding and modifying components within the MirageOS library operating system. They implemented new functionality and made revisions to existing code. The user worked on creating the obuild file, making updates to the code for the features, and added documentation to the functions.
kernelvdikvmoperating-systemlinux
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.