François Bobot
Ingénieur-chercheur at CEA - Commissariat à l'énergie atomique et aux énergies alternatives
Orsay, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolFrançois Bobot is an ingénieur-chercheur with 18 years of experience in research-grade software engineering, based in Orsay, France. He works at CEA and brings deep expertise in low-level performance optimization and runtime systems, evidenced by substantial contributions to the core OCaml compiler and runtime (unboxing, GC improvements, ephemerons). His open-source work spans critical tooling in the OCaml ecosystem—dune and opam-repository—where he improved build rules, dependency handling, and cross-platform packaging for systems like NixOS. He has also contributed to formal methods tooling through cvc5, enhancing theory precision and context-dependent data structures. Trained at École normale supérieure de Cachan with a PhD trajectory through LRI and a postdoc at Université Paris 7, he blends academic rigor with practical, production-focused improvements to widely used language infrastructure. Colleagues can expect a pragmatic engineer who finds efficiency gains in the compiler and buildchain that have outsized impact on developer experience.
18 years of coding experience
M2, M2 at Ecole normale supérieur de Cachan
English
Stackoverflow
316reputation
9kreached
7answers
0questions
Github Skills (25)
algorithms10
c-language10
package-management10
configuration-management10
nixos10
build-system10
data-structure10
ocaml10
dune10
build-automation10
compiler-optimization10
data-structures10
theorem-proving10
functional-programming10
cprogramming-language10
Programming languages (21)
Github contributions (5)
ocaml/dune
Mar 2017 - May 2022
A composable build system for OCaml.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:166 reviews, 217 commits, 135 PRs in 5 years 2 months
Contributions summary:François's contributions primarily involve enhancing the Dune build system, with a focus on the underlying build process. The commits include changes related to color features in the compiler, and the addition and refactoring of build rules. The user also implemented functionalities related to sites within the Dune build system. Further changes included improving the handling of file dependencies and dependency discovery.
infinibandlwtmulticoreocamldune
ocaml/ocaml
Nov 2013 - Jul 2021
The core OCaml system: compilers, runtime system, base libraries
Role in this project:Back-end Developer
Back-end DeveloperContributions:30 reviews, 80 commits, 25 PRs in 7 years 9 months
Contributions summary:François primarily focused on optimizing the OCaml compiler's runtime system and base libraries. Their contributions involved unboxing and optimizing functions like `Sys.time` and `Pervasives.ldexp`, which reduced memory allocation. They also made specialized compare functions unboxed and contributed to the garbage collection system with features like ephemerons and cleaning phases. The overall impact of these changes was to improve the performance and efficiency of the OCaml runtime.
functional-languagecompilersruntime-systemapllwt
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.