Jean-Christophe Filliâtre

Research

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.

I co-organized the 2nd Verified Software Competition (aka VSTTE 2012 Software Verification Competition), with Andrei Paskevich and Aaron Stump, on November 2011. Here is my talk at VSTTE 2012 about the competition.

I defended my habilitation thesis on December 2011.

Publications

Software

• 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

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

Teaching

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