Jean-Christophe Filliâtre

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Jean-Christophe Filliâtre
une illustration sous licence libre serait bienvenue
Biographie
Formation
Activité
Autres informations
A travaillé pour
Directeur de thèse

Jean-Christophe Filliâtre est un informaticien français, directeur de recherche au CNRS travaillant au sein de l'équipe VALS du LRI. 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[modifier | modifier le code]

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 Coq. Après sa thèse, il a notamment travaillé sur l'architecture et l'isolation d'un noyau du système Coq. 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.[1],[2]

Prix et distinctions[modifier | modifier le code]

Publications[modifier | modifier le code]

  • Sylvain Conchon et Jean-Christophe Filliâtre, Apprendre à programmer avec OCaml. Algorithmes et structures de données., Éditions Eyrolles, (ISBN 978-2-212-13678-4, présentation en ligne).
  • Benjamin Wack, Sylvain Conchon, Judicaël Courant, Marc de Falco, Gilles Dowek, Jean-Christophe Filliâtre et Stéphane Gonnord, Informatique pour tous en classes préparatoires aux grandes écoles : Manuel d'algorithmique et programmation structurée avec Python., Éditions Eyrolles, (ISBN 978-2-212-13700-2, présentation en ligne).
  • Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre et Kim Nguyễn, Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première., Éditions Ellipses, (ISBN 9782340033641, présentation en ligne).
  • Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre et Kim Nguyễn, Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale., Éditions Ellipses, (ISBN 9782340038554, présentation en ligne).

Notes et références[modifier | modifier le code]

  1. « Page personnelle de Jean-Christope Filliâtre » (consulté le 12 mai 2020)
  2. « Parcours d'un Informaticien : Jean-Christophe Filliâtre » (consulté le 12 mai 2020)
  3. (en) « Jean-Christophe Filliâtre », sur awards.acm.org (consulté le 12 mai 2020)
  4. (en) « CAV Award », sur i-cav.org (consulté le 12 mai 2020)

Liens externes[modifier | modifier le code]