I obtained my PhD in Computer Science in July 2019, under the supervision of Nicolas Brisebarre (CNRS, LIP, ENS de Lyon), Mioara Joldes (CNRS, LAAS-CNRS) and Damien Pous (CNRS, LIP, ENS de Lyon). My thesis manuscript, entitled "Certified Numerics in Function Spaces: Polynomial Approximations Meet Computer Algebra and Formal Proof", is available here.

After that, I was post-doctoral researcher from September 2019 to January 2021 at the Department of Mathematics of Uppsala University, Sweden, in the CAPA group, supervised by Warwick Tucker.

Since February 2021, I am researcher at CNRS in the CRIStAL laboratory in Lille, in the CFHP team (Computer Algebra and Formal Proof).