Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Faculty habilitation de MELQUIOND Guillaume
MELQUIOND Guillaume
Faculty habilitation
Group : Verification of Algorithms, Languages and Systems

Formal Verification for Numerical Computations,and the Other Way Around

Starts on 01/01/1970
Advisor :

Funding :
Affiliation : vide
Laboratory :

Defended on 01/04/2019, committee :
Rapporteurs :
- Luc Jaulin (Université de Bretagne Occidentale)
- David Monniaux (CNRS)
- Warwick Tucker (Université d'Uppsala)

Autres membres du jury :
- Yves Bertot (Inria)
- Florent Hivert (Université Paris Sud)
- Claude Marché (Inria)
- Jean-Michel Muller (CNRS)
- Sylvie Putot (École Polytechnique)

Research activities :

Abstract :