CV

Tackle Technical Challenges

Looking forward to make AI secure, open and private.

• Develop in C++, the JavaScript Just-In-Time compilers used in Mozilla Firefox.
• Creator of HolyJIT, a Rust compiler extension to JIT compile Rust functions.
• Self-taught Assembly (m68k, x86, …).

• Created the NixOS module system, as well as Nixpkgs overlays.
• Published in the Journal of Functional Programming.

• URBI, an interpreted language for controlling robots at Gostai, based coroutines.
• Motion system of the Part Time Scientist'rover, for the Google Lunar X-Prize.
• PhD Thesis on composable Virtual Machines. (shorten)

• C++ parsing and disambiguation using Attribute Grammars
• Laboratory of R&D of EPITA.
• Computer Science Engineer.