My name is Jean-Christophe Filliâtre.

I’m an enthusiastic programmer since 1984 (I was 13). My first computer was a Thomson TO7/70, on which I used to code in Basic and 6809 assembly. In 1986, I switched to an Atari 520 ST, on which I used to code in GFA Basic and in 68000 assembly. In the early 1990s, I progressively moved to PC. Today, I code mostly in OCaml, under Linux. A few years ago, I discovered Project Euler; if you like mathematics and programming, you’ll love it.

In real life, I’m doing research in Computer Science. See my academic webpage for more details.