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

ATTENTION : ce membre a quitté le laboratoire le 31/03/2017
 
Chargé de Recherche 2
INRIA
Vérification d'Algorithmes, Langages et Systèmes

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

Page personnelle : http://arthur.chargueraud.org
Courrier électronique : Arthur.Chargueraud@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Vérification déductive de programmes


Projets
   - Toccata





Responsabilités de contrats
   - AAP ATTRACTIVITE 2014


Logiciels et brevets
   - CFML : Program Verification for ML through Characteristic Formula