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.
You can find my CV and a detailed summary of my subject following this link.
Coma: CPS-based IVL integrated in the Why3 platform (documentation, sources) currently
Coma/x86-64: deductive verification of assembly code with Coma (sources) currently
Meta-theory of Coma, an intermediate verification language (report, slides) 2023
Pattern-matching exhaustiveness checking in Gospel (report, slides) 2022
Extension of the Python front-end of Why3 (report) 2021
Congrès Junior Pluridisciplinaire : concours de vulgarisation scientifique (slides) 2023
Digicosme Scientific days (poster) 2022
Supervision of an undergraduate intern on the proof of assembly programs (sources) 2024
Sub-reviewer for the Dafny Workshop at POPL 2024 2024
Sub-reviewer for the OCaml Workshop at ICFP 2024 2024
Co-organiser of LMF internal seminars for doctoral students currently