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

Jean-Christophe Filliâtre

Contact

Research

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

I'm doing research in deductive software verification. I'm co-author of the Why3 tool.

I'm a member of the editorial board of the Journal of Functional Programming; please consider submitting.

Publications

Software

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

Why3, a software verification tool; don't miss our 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

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

Teaching

I'm teaching compilation at École Normale Supérieure.

I'm also teaching at École 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

my first computers
a few science fiction books I enjoyed

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