Jean-Christophe Filliâtre's home page

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jean-Christophe Filliâtre's home page no image

no image

Jean-Christophe Filliâtre

Contact

Research

CNRS researcher. I work in the ProVal project (INRIA Saclay - Île-de-France / LRI, Université Paris Sud 11).

Software

I'm the (co)author of the following programs:

Why, a software verification tool; don't miss my gallery of certified programs
Mlpost, an Objective Caml interface to MetaPost
ocamlgraph, a graph library for Objective Caml
bibtex2html, a BibTeX to HTML translator
ocamlweb, a literate programming tool for Objective Caml

Many other libraries and applications on that page dedicated to Caml programming. The Caml Language

The Caml Language

If you like maths and computer science, you'll love Project Euler.

Teaching

I'm currently teaching compilation at Ecole Normale Supérieure. I'm also teaching at Ecole Polytechnique.

Lecture on Why and Caduceus at the TYPES Summer School 2007: notes (PDF) / slides (PDF) / lab exercises (PDF)

I wrote an Introduction to functional programming (in French).

Some Computer Science problems in Caml submitted to first degree students (in French)

Miscellaneous

Science Fiction

Français

Jean-Christophe.Filliatre[at]lri.fr (formatted with yamlpp).