I’m a PhD student in Inria Paris’ Cambium team, under the supervision of Sam van Gool, Yannick Forster and Dominik Kirst. I’m working toward a unified framework for classical and constructive reverse mathematics, with applications to model theory. I use the Rocq proof assistant.

I did my master in Lyon, following the «Higher Algebra and Formalised Mathematics» program in the «Mathématiques avancées» M2 from Lyon I and the ENS Lyon. My master’s internship took place at the IRIF with Dominik Kirst and Yannick Forster. The goal was to formalize in Rocq a proof of the Downward Löwenheim-Skolem theorem in order to then do constructive reverse mathematics on it.

Although I specialised in logic and computer science, I have a background in general mathematics. I graduated from Lyon I university.

Extended Abstracts

Master’s Thesis