Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > FILLIÂTRE Jean-Christophe
About LRI
Mr FILLIÂTRE Jean-Christophe
FILLIÂTRE Directeur de Recherche 2
CNRS
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~filliatr/
Email : Jean-Christophe.Filliatre@lri.fr

Research activities
   - Deductive Verification of Programs

Publications

Joint Inria project teams
   - Toccata



Leadership positions
   - Web committee member

Principle investigator
   - CAT
   - CerPAN
   - VOCAL


Software & Patents
   - Why3: The Why3 platform
   - ocamlgraph: Ocaml graph library
   - Caduceus: Caduceus Tool for C Program Verification
   - Coq: The Coq proof assistant


Ph.D. dissertations & Faculty habilitations
Ph.D   - Verification of Imperative Programs in Type Theory
Faculty habilitation   - FILLIATRE.02-12-2011

Contracts & Grants
   - PFC
   - CAT
   - CerPAN
   - FOST
   - CeProMi
   - U3CAT
   - Bware