Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > HUBERT Thierry
Présentation
M. HUBERT Thierry

ATTENTION : ce membre a quitté le laboratoire le 30/06/2008
 
HUBERT 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