Je suis doctorante depuis octobre 2023, sous la supervision de Jacques-Henri Jourdan (https://jhjourdan.mketjh.fr/) et Armaël Guéneau (https://gallium.inria.fr/~agueneau/).
Je travaille sur le code fantôme avec possession dans 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
