Florent Bréhard

ENS de Lyon
Laboratoire de l'Informatique du Parallélisme
46 allée d'Italie
69364 Lyon, France
LAAS-CNRS
7 Avenue du Colonel Roche
31077 Toulouse, Cedex 4, France
email: florent DOT brehard AT ens DASH lyon DOT fr     email: florent DOT brehard AT laas DOT fr

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