Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > CHARGUERAUD Arthur
About LRI
Mr CHARGUERAUD Arthur

Warning: this member left the laboratory on 31/03/2017
 
Chargé de Recherche 2
INRIA
Verification of Algorithms, Languages and Systems

Tel : 01 69 15 69 81
Fax :
Office : 39/PCRI-S

Personal web page : http://arthur.chargueraud.org
Email : Arthur.Chargueraud@lri.fr

Research activities
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata




Principle investigator
   - AAP 2014


Software & Patents
   - CFML: CFML