I am a Research Engineer at Inria (Toccata team), working on abstract interpretation under the supervision of Claude Marché. I have been a PhD student at LSV LMF (ENS Paris-Saclay) as a member of DeducTeam under the supervision of Frédéric Blanqui and Guillaume Burel. My thesis focuses on Integrating Automated Provers in Proof Assistants, a project funded by DigiCosme and LSV. I defended my PhD [manuscript] on September 09, 2021 (Click here for more information).

Find me on , and .

Writings