Nathanaëlle Courant - Research Engineer at OCamlPro

Nathanaëlle Courant

Research Engineer at OCamlPro

Paris, Ile-de-France

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Nathanaëlle Courant is a research engineer based in Paris with 13 years of experience at the intersection of programming languages, formal methods, and systems. Currently at OCamlPro after a PhD in computer science from Université de Paris and studies at École normale supérieure, she has a strong research background in verified code generation, abstract interpretation and control-flow analyses. Her work spans both academic projects (Inria, ETH Zürich, SRI) and practical engineering, including formally proved compilers and tools developed in Coq and PVS. An active open-source contributor to the Luanti/Minetest ecosystem and technic mods, she brings hands-on back-end and full‑stack game-engine experience alongside deep formal verification expertise. Colleagues value her ability to translate rigorous formal proofs into robust, maintainable implementations that improve both correctness and runtime behavior. Less obvious: she pairs competitive-level mathematical training with weekly teaching experience, reflecting a talent for explaining complex concepts clearly.

13 years of coding experience

Mathematics and Computer Science, Mathematics and Computer Science at Ecole normale supérieure

Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université de Paris

Classes prépa MPSI/MP*, Classes prépa MPSI/MP* at Lycée du Parc

English, French

Github Skills (21)

debug10

c-language10

game-engine10

back-end-development10

api-design10

minetest10

html-template10

python-templates10

lua10

code-templates10

apptemplates10

script10

voxel-engine10

cpp-templates10

game-development10

Programming languages (17)

C++RustCCoqGoSassHTMLCuda

Github contributions (5)

minetest-mods/technic

Apr 2013 - Jan 2018

Technic mod for Minetest

Role in this project:

Full-stack Developer

Contributions:58 commits, 14 PRs, 16 pushes in 4 years 9 months

Contributions summary:Nathanaëlle made several contributions focused on enhancing the "Technic mod for Minetest." They improved the functionality of frames, including selection box adjustments and liquid interaction. The user also worked on core systems, as seen in their power distribution efficiency improvements and energy branch bug fixes. Furthermore, they incorporated template functionality, adding new features and associated crafts.

modtechnicminetest

luanti-org/luanti

May 2013 - Jun 2022

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

Role in this project:

Back-end Developer

Contributions:19 reviews, 63 commits, 54 PRs in 9 years 2 months

Contributions summary:Nathanaëlle contributed significantly to the game's core functionality, as evidenced by changes to the environment, GUI API, and item handling. They focused on adding new features like texture pack selection and game time retrieval and improving existing ones like node timers, and color management. The user also implemented a tool callback and new core features, showing involvement in various areas of the game's back-end logic and API.

c-plus-plusvoxelscrosswordvoxelgame-engine

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.

Request Free Trial