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

ATTENTION : ce membre a quitté le laboratoire le 30/09/2011
 
Doctorant
INRIA
Toccata

Tel : 01 74 85 42 28
Fax :
Bureau : 32/PCRI-S

Page personnelle : http://romain.bardou.fr/
Courrier électronique : bardou@lri.fr

Activités de recherche
   - Vérification
   - Preuve de programme
   - Programmation fonctionnelle
   - Logique
   - Langages d'ordre supérieur
   - Programmation orientée objet


Projets
   - Toccata









Thèses et habilitations
Doctorat   - Vérification de programmes avec pointeurs à l'aide de régions et de permissions