Currently
I am a 1st-year Ph.D. student in the team PARKAS at the Computer Science Department of the ENS PSL, under the supervision of Timothy Bourke and Marc Pouzet.
I work on Vélus, a verified compiler of Lustre towards Clight (a subset of C which is the front-end of CompCert), written in Rocq and OCaml.
My research subject is to add functional arrays to the existing compiler, here is the subject.
Teaching
2025-2026
- Teaching fellow of the "Operating Systems" course taught by Timothy Bourke, 3rd year of bachelor degree at the Computer Science Department of the ENS PSL
- Teaching fellow of the "Numerical Systems" course taught by Hadrien Barral, 3rd year of bachelor degree at the Computer Science Department of the ENS PSL
- Pratcial work supervisor of the "Programming 1" course taught by Alicia Cohen-Hadria et Romain Demangeon, 1st year of bachelor degree at Sorbonne Université
2024-2025
Earlier
2024-2025
-
Internship of 2nd year of master's degree : Inlining in a Verified Synchronous Language Compiler
Under the supervision of Timothy Bourke
March 2025 — August 2025, PARKAS team at the Computer Science Department of the ENS PSL
Links: Report and slides
-
2nd year of master's degree : MPRI, 4th year at the ENS Paris-Saclay
September 2024 — August 2025
2023-2024
-
Preparation to the agrégation d'informatique : 3rd year at the ENS Paris-Saclay
Laureate of theagrégation d'informatique, year 2024
September 2023 — June 2024
2022-2023
2021-2022
-
Internship of 3rd year of bachelor's degree : Réduction de dettes mutuelles entre entreprises : heuristiques sur des graphes de paiements
Under the supervision of Sylvain Contassot-Vivier and Nazim Fatès
June 2022 — July 2022, Simbiot team at LORIA
Links: Report (french) et slides (french)
-
3rd year of bachelor's degree : 1st year at the ENS Paris-Saclay
September 2021 — July 2022
Projects
-
agreg.info : website with free and open source resources for the agrégation d'informatique
-
NixOS/nixpkgs : maintainer of several packages and modules for the nix package manager and NixOS, the associated linux distribution
-
Crans : computer science association of the ENS Paris-Saclay
Technical supervisor since October 2022
Technical supervisor in chief between March 2023 and April 2024
-
ratic : music player in Rust and gtk4 + adwaita
-
efs : Rust library of filesystems manipulation
You can always contact me by mail: <first-name>.<last-name>@crans.org.
I always try to answer as soon as possible.
My GPG key: 1B91 F087 3D06 1319 D3D0 7F91 FA47 BDA2 6048 9ADA.
Website with GPLv3 license, inspired by evenbettermotherfuckingwebsite.
Last update: 03/02/2026
