Florent Bréhard

CAPA group
Ångströmlaboratoriet, Department of Mathematics
Uppsala Universitet
Box 480
751 06 UPPSALA

email: florent.brehard@math.uu.se

I am 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.

Before that, I was Ph.D. student in computer science 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.




Qualifié en sections CNU 26, 27 et 61.