 |
 |
Doctorant
INRIA
Toccata
Tel : 01 72 92 59 97
Fax :
Bureau :
Page personnelle : http://www.lri.fr/~hubert
Courrier électronique : hubert@lri.fr |
Activités de recherche
- Preuve de programme
Logiciels et brevets
- Caduceus : Outil Caduceus de vérification de programmes C
Thèses et habilitations
Doctorat - Analyse statique de programmes C
Participations à des contrats
- CAT
- CIFRE DASSAULT
|
