Home
>
About LRI
>
Personnel
> BARDOU Romain
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
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
