Que fait l’informaticien ? Quel est son parcours ? Qu’est-ce qui le motive ? Qu’a-t-il fait comme étude ? Sur quoi travaille-t-il ?
À travers cette conférence, Jean-Christophe Filliâtre revient sur son parcours d’informaticien et tente de répondre à ces questions.
La conférence a eu lieu le 20 Septembre 2018 à l’École normale supérieure.
Jean-Christophe Filliâtre
Jean-Christophe Filliâtre est un passioné d’informatique depuis tout petit (depuis ses 13 ans). Il décrit, par exemple, sur son site internet les différents ordinateurs qu’il a eu, les sites internet et les ressources qu’il aime comme le Project Euler (pseudo backtracking) où il a résolu 431 problèmes à l’heure actuelle.
En 1999, il a soutenu sa thèse sur la preuve de programmes impératifs dans le système Coq. Il a depuis travaillé sur de nombreux programmes comme :
- Why3, un outil de verification de programmes
- OCamlGraph, une bibliothèque de graphes pour OCaml
- bibtex2html, un traducteur BibTeX vers HTML
- … (d’autres programmes accessibles sur sa page Github)
Actuellement, il est directeur de recherche au CNRS, et enseigne la compilation à l’Ecole Polytechnique et à l’ENS Ulm. Il a, par exemple, enseigné cette discipline à tous les exposants du sémininaire IPT1819.
Photo de profil : site internet de Jean-Christophe Filliâtre