I am a PhD student since September 2023 under the supervision of Jean-Christophe Filliâtre and Andrei Paskevich in the Proof of Programs team of the Laboratoire Méthodes Formelles (LMF).
I am interested in programming languages, deductive verification and formal methods.
Meta-theory of Coma, an intermediate verification language (report, slides) 2023
Exhaustiveness checking for pattern matching in Gospel (report, slides) 2022
Extension of the Python front-end of Why3 (report) 2021
French Congrès Junior Pluridisciplinaire : concours de vulgarisation scientifique (slides) 2023
Digicosme Scientific days (poster) 2022
Sub-reviewer for the Dafny Workshop at POPL 2024 2024
Co-organiser of internal seminars for LMF doctoral students currently