I am a R&D Engineer at Functori. I did my PostDoc at Inria (Toccata team), where I worked 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).