Xavier Clerc
Software Developer at École nationale des ponts et chaussées
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolXavier Clerc is a seasoned software developer with 17 years of experience specializing in OCaml and systems-level back-end engineering, currently based in London and working in finance. He has a strong academic background including a PhD in Computer Science and regularly teaches algorithms, data structures and software development methods at École des Ponts ParisTech. Xavier is an active open-source contributor to core OCaml projects—Dune, the OCaml compiler, Jane Street’s Base/Core libraries—and has improved efficiency and maintainability in formal proof tooling such as the Rocq/Coq prover. His contributions show deep expertise in refactoring, data structures, build systems and compatibility across OCaml versions, as well as practical system-level problems like file I/O and architecture detection. Comfortable bridging research and production, he has prior INRIA research engineering experience and has led full‑stack development as a CTO, bringing both rigorous formal methods experience and pragmatic product delivery.
17 years of coding experience
11 years of employment as a software developer
Technical Degree, Computer Science, Technical Degree, Computer Science at Université Paris Nord- Paris 13Engineer's degree, Computer Science, Engineer's degree, Computer Science at Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de GrenoblePh. D., Computer Science, Ph. D., Computer Science at INPG
English, French
Github Skills (37)
dependent-types10
system-programming10
time-management10
build-system10
data-structure10
ocaml10
compiler-design10
compiler-compiler10
dune10
parsing10
time-tracking10
fileio10
file-handling10
file-processing10
data-structures10
Programming languages (9)
Github contributions (5)
janestreet/core
Nov 2017 - Nov 2020
Jane Street Capital's standard library overlay
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 releases, 166 commits, 4 PRs in 3 years
Contributions summary:Xavier's commits primarily involve changes to the `core` library, focusing on low-level system utilities and core functionality. These changes include updates and additions to code for time-stamp counters, interval handling, and file I/O operations, including file descriptor manipulations and process environment interactions. The contributions demonstrate a focus on system-level programming within the context of a standard library overlay for Jane Street Capital.
standard-libraryoverlayjanestreetcapital
janestreet/base
Nov 2017 - Nov 2020
Standard library for OCaml
Role in this project:Back-end Developer
Back-end DeveloperContributions:4 releases, 182 commits, 14 PRs in 3 years
Contributions summary:Xavier made multiple code changes primarily focused on the core library of the OCaml project "janestreet/base." These changes involved modifications across several modules, including "Int," "Bytes," "Float," and "Sequence". The commits involved the introduction of new functions, improvements to code performance (like the addition of functions that handle byte swap operations), and additions to several different code files and test suites. This work included adding and modifying functionalities to the basic structures, such as "Bytes" and "Map", which supports core software engineering design and practice.
dubocamldunestandard-library
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.