Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > FILLIÂTRE Jean-Christophe
Présentation
M. FILLIÂTRE Jean-Christophe
FILLIÂTRE Directeur de Recherche 2
CNRS
Vérification d'Algorithmes, Langages et Systèmes

Tel : 01 69 15 70 48
Fax : 01 69 15 65 79
Bureau : 34/PCRI-S

Page personnelle : http://www.lri.fr/~filliatr/
Courrier électronique : Jean-Christophe.Filliatre@lri.fr

Activités de recherche
   - Vérification déductive de programmes

Publications

Projets
   - Toccata




Responsabilités administratives
   - Membre de la commission Web

Responsabilités de contrats
   - CAT
   - CerPAN
   - VOCAL


Logiciels et brevets
   - ocamlgraph : bibliothèque de graphes pour Ocaml
   - Caduceus : Outil Caduceus de vérification de programmes C
   - Why3 : La plateforme Why3
   - Coq : L'assistant de preuve Coq


Thèses et habilitations
Doctorat   - Preuve de programmes impératifs en théorie des types
Habilitation à diriger des recherches   - FILLIATRE.02-12-2011

Participations à des contrats
   - PFC
   - CAT
   - CerPAN
   - FOST
   - CeProMi
   - U3CAT
   - Bware