I’m a master’s student from Lyon, following the «Higher Algebra and Formalised Mathematics» program in the «Mathématiques avancées» M2 from Lyon I and the ENS Lyon.

Currently, I am doing an internship at the IRIF with Dominik Kirst and Yannick Forster. The goal is to formalize in Rocq a proof of the Downward Löwenheim-Skolem theorem in order to then do constructive reverse mathematics on it.

I have a background in general mathematics, although I recently specialised in Logic and Computer Science. I graduated from Lyon I university.