J'ai effectué un doctorat en informatique sous la direction de Nicolas Brisebarre (CNRS, LIP, ENS de Lyon), Mioara Joldes (CNRS, LAAS-CNRS) et Damien Pous (CNRS, LIP, ENS de Lyon). Ma thèse, intitulée « Certified Numerics in Function Spaces: Polynomial Approximations Meet Computer Algebra and Formal Proof » et soutenue le 12 juillet 2019, est disponible ici.

J'ai ensuite été chercheur post-doctorant de septembre 2019 à janvier 2021 au Département de Mathématiques de l'Université d'Uppsala en Suède, au sein de l'équipe CAPA et encadré par Warwick Tucker.

Depuis février 2021, je suis Chargé de Recherche au CNRS au sein du laboratoire CRIStAL à Lille, dans l'équipe CFHP (Calcul Formel et Haute Performance).