Developpment
- I developped a certified validator for scheduling optimizations using the Coq proof assistant. I will put it online one day.
- In my spare time, I sometimes write gamemodes for a famous online game. That's the only reason why I sometimes use C++.
Programming contests
I like to attend the ICFP programming contest with my friends from work.
-
ICFP contest 2006 : the CamlNuggets
with Alain Frisch, Nicolas Pouillard, Berke Durak and Boris Yakobowski -
ICFP contest 2007 : the Camlembert
with Alain Frisch, Nicolas Pouillard, Benoit Montagu, Keiko Nakata, Benoit Razet, Louis Mandel and Boris Yakobowski