Jean-Christophe Filliâtre

Jean-Christophe Filliâtre est chercheur au CNRS. Il donne par ailleurs des cours d'algorithmique à l'École polytechnique et de compilation avec OCaml à l'ENC (Ulm). Programmeur OCaml depuis plus de vingt ans, il a développé de nombreux logiciels avec ce langage. Très actifs au sein de la communauté francophone des langages applicatifs, il a participé à l'organisation, entre autres, les "Journées francophones des langages... Lire tout

Visuel de Jean-Christophe Filliâtre

Jean-Christophe Filliâtre est chercheur au CNRS. Il donne par ailleurs des cours d'algorithmique à l'École polytechnique et de compilation avec OCaml à l'ENC (Ulm).
Programmeur OCaml depuis plus de vingt ans, il a développé de nombreux logiciels avec ce langage. Très actifs au sein de la communauté francophone des langages applicatifs, il a participé à l'organisation, entre autres, les "Journées francophones des langages applicatifs".

Livres écrits par Jean-Christophe Filliâtre