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".

A découvrir de cet auteur