Accueil
>
Présentation
>
Personnel
> BARDOU Romain
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
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