Jean-Christophe Filliâtre est un informaticien français, directeur de recherche au CNRS travaillant au sein du Laboratoire Méthodes Formelles. Il est spécialisé dans le domaine de la vérification déductive de programmes. Il enseigne à l'École normale supérieure ainsi qu'à l'École polytechnique.
Biographie
Jean-Christophe Filliâtre a été admis comme élève à l'École normale supérieure (Paris) en 1992 où il a étudié l'informatique. Il a effectué sa thèse de 1995 à 1999 sous la direction de Christine Paulin-Mohring sur la vérification de programmes impératifs dans le système Rocq. Après sa thèse, il a notamment travaillé sur l'architecture et l'isolation d'un noyau du système Rocq. Il est, depuis 2001, le concepteur et l'un des principaux développeurs de l'outil Why3 dédié à la vérification déductive de programmes.
Prix et distinctions
prix ACM SIGPLAN Programming Languages Software, pour le projet Rocq, Association for Computing Machinery, 2013. prix ACM Software System, pour le projet Rocq, Association for Computing Machinery, 2013. prix CAV, pour ses contributions au domaine de la vérification déductive, Computer Aided Verification, 2019.
Publications . . . . .
Notes et références
Liens externes Page personnelle de Jean-Christope Filliâtre
Catégorie:Informaticien français Catégorie:Naissance en juin 1971 Catégorie:Naissance dans le 3e arrondissement de Lyon Catégorie:Directeur de recherche au CNRS Catégorie:Élève de l'École normale supérieure