Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > BARDOU Romain
About LRI
Mr BARDOU Romain

Warning: this member left the laboratory on 30/09/2011
 
Doctorant
INRIA
Toccata

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

Personal web page : http://romain.bardou.fr/
Email : bardou@lri.fr

Research activities
   - Verification
   - Program proof
   - Functional programming
   - Logic
   - Higher-Order Languages
   - Object-Oriented Programming


Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Verification of Programs With Pointers Using Regions and Permissions