Pierre Boutillier
Directeur Technique at Kopek
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolPierre Boutillier is a seasoned technical leader and Directeur Technique based in Paris with 16 years of experience bridging research-grade software and production engineering. He holds a PhD in computer science and has progressed from academic research and Coq/OCaml development to leading incident response, QA release, and technical direction roles at Nomadic Labs and now Kopek. Pierre is a pragmatic backend expert who has contributed to notable open-source projects such as Darklang and the opam repository, with hands-on work on asynchronous OCaml backend code, build systems, and cross-platform packaging fixes. Comfortable operating at the intersection of infrastructure, releases, and developer tooling, he combines deep functional-programming roots with practical experience hardening complex distributed systems. A detail-minded problem solver, he brings both the discipline of academic research and the operational rigor of large-scale deployments to deliver reliable, maintainable platforms.
16 years of coding experience
2 years of employment as a software developer
Licence, Informatique, Licence, Informatique at Ecole normale supérieure de LyonDoctor of Philosophy (PhD), Informatique, Doctor of Philosophy (PhD), Informatique at Université Denis Diderot (Paris VII)
French, English
Github Skills (11)
lwt10
package-management10
ocaml10
freebsd9
dune9
functional-programming9
tezos8
postgresql8
functional-programming-language7
cloud-computing7
programming-language7
Programming languages (10)
Github contributions (5)
ocaml/opam-repository
Dec 2013 - Dec 2022
Main public package repository for opam, the source package manager of OCaml.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:12 reviews, 867 commits, 87 PRs in 9 years 1 month
Contributions summary:Pierre primarily contributed to the OCaml-based package repository. Their commits focused on enhancing existing packages by adding dependencies and correcting build processes for specific operating systems. The contributions include fixes for FreeBSD compilation, updates to libraries like `re`, and the introduction of new package versions. These changes suggest a focus on maintaining and expanding the availability of OCaml packages.
ocamlopampackage-managerpackage-repository
darklang/dark
Jul 2017 - Sep 2017
Darklang main repo, including language, backend, and infra
Role in this project:Backend Developer
Backend DeveloperContributions:19 commits in 2 months
Contributions summary:Pierre primarily contributed to the backend of the Darklang project, focusing on server-side logic and infrastructure. They made changes to core server files, refactored the code to use Lwt for asynchronous operations, and modified the build system. The user also added dependencies, addressed exception handling, and worked on integrating and migrating the test suite.
backendprogramming-languagecloudfunctional-programmingeditor
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.