I am a PhD student, since October 2023, under the supervision of Jacques-Henri Jourdan (https://jhjourdan.mketjh.fr/) and Armaël Guéneau (https://gallium.inria.fr/~agueneau/).
I am working on ghost ownership in Creusot (https://creusot.rs).
Boucler la boucle du parcours de Morris, JFLA 2026 – 37es Journées Francophones des Langages Applicatifs (pdf, HAL)
Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust, CPP 2026 - Certified Programs and Proofs (pdf, HAL)
Remonter les barrières pour ouvrir une clôture, JFLA 2025 - 36es Journées Francophones des Langages Applicatifs (pdf, HAL)
TD Programmation Avancée (2023-2024 & 2024-2025) : L3 ENS Paris-Saclay
TD Base de données (2025-2026) : L2 IUT Orsay
