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, an Intermediate Verification Language with Explicit Abstraction Barriers (paper) 2025
34th European Symposium on Programming (ESOP 2025)
Remonter les barrières pour ouvrir une clôture (paper in French) 2025
36es Journées Francophones des Langages Applicatifs (JFLA 2025)
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
Co-organiser of LMF internal seminars for doctoral students currently