Florent Bréhard

CFHP research group
CRIStAL laboratory (UMR 9189)
Université de Lille -- Campus scientifique
Avenue Henri Poincaré
59655 Villeneuve d'Ascq

email: florent.brehard@univ-lille.fr

I am a Junior Researcher (Chargé de Recherche) in Computer Science at CNRS (French National Centre for Scientific Research), in the CRIStAL lab in Villeneuve d'Ascq, near Lille. I am member of the CFHP (Computer Algebra and High Performance Computing) research group.

Before that, from September 2019 to January 2021, I was a post-doc researcher at the Department of Mathematics of Uppsala Universitet, in the CAPA group (Computer-Aided Proofs in Analysis) under the supervision of Warwick Tucker.

I obtained my Ph.D. degree in Computer Science in July 2019, under the supervision of Mioara Joldes (LAAS-CNRS in Toulouse, MAC team), Nicolas Brisebarre (ENS de Lyon, AriC team) and Damien Pous (ENS de Lyon, PLUME team). My thesis manuscript is available here, and here is my CV.

My main topic of interest is the conception of certified tools for numerical analysis, towards the objective of developing a general-purpose library for rigorous numerics with a formal proof layer guaranteeing the correctness of both the methods and the implementation.

Publications

Software

Teaching

Qualifié en sections CNU 26, 27 et 61.