Olivier Nicole
Software Engineer at Tarides
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolOlivier Nicole is a software engineer based in Paris with 10 years of experience bridging research-grade type systems and production compiler/runtime work. Currently at Tarides, he brings deep expertise in OCaml and back-end systems, having contributed to the OCaml compiler and runtime—introducing atomic load support in intermediate representations and fixing concurrency and Windows file-descriptor races. His open-source work includes major math typesetting improvements to the SILE typesetter, where he implemented a TeX-like math parser and optimized rendering and table handling. Trained at ENSTA with a background in preparatory mathematics and physics, Olivier pairs rigorous formal thinking from a doctoral research trajectory with pragmatic engineering. Colleagues know him for tackling subtle correctness and concurrency issues that quietly improve reliability across toolchains.
10 years of coding experience
2 years of employment as a software developer
Computer Science, Computer Science at ENSTAPreparatory classes, Mathematics and Physics, Preparatory classes, Mathematics and Physics at Lycée du Parc, Lyon, France
English, Russian, Italian, Greek, Chinese, French
Github Skills (27)
runtimes10
mathml10
mathematica10
mathematics10
run-time10
notation10
functional10
ocaml10
lua10
compiler-compiler10
typesetting10
tex10
sys10
compiler10
functional-programming10
Programming languages (19)
Github contributions (5)
sile-typesetter/sile
Jun 2019 - Sep 2022
The SILE Typesetter — Simon’s Improved Layout Engine
Role in this project:
Back-end Developer & Math Typesetting Specialist
Back-end Developer & Math Typesetting SpecialistContributions:14 reviews, 91 commits, 8 PRs in 3 years 3 months
Contributions summary:Olivier primarily contributed to the core mathematical typesetting engine of the SILE typesetter. Their work focused on implementing and refining the TeX-like math parser, including support for macros, fractions, and big operators. They also enhanced the rendering of mathematical symbols and significantly improved the overall performance and accuracy of the math typesetting process. The user's changes also included addressing issues in table rendering and other mathematical constructs to expand the system's capability.
luapublishingpdfsiletypesetting
ocaml/ocaml
Jan 2022 - Dec 2022
The core OCaml system: compilers, runtime system, base libraries
Role in this project:Back-end Developer
Back-end DeveloperContributions:205 reviews, 26 commits, 69 PRs in 11 months
Contributions summary:Olivier contributed significantly to the core OCaml system, focusing on improvements to the compilation process and runtime environment. They introduced atomic loads within the Cmm and Mach intermediate representations, enhancing the compiler's capabilities. Furthermore, the user addressed concurrency issues in the standard library, documenting and fixing potential data races, thus improving the safety and reliability of the OCaml runtime. They also fixed data races within the Windows file descriptor handling.
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.