I'm working for Lexifi since July 2007, where I do some research and development.
Research
In a previous life, I was working as a researcher in the Gallium group at INRIA Rocquencourt. My research interests included programming languages, types, tree automata, and XML.
- CDuce: a type-safe and efficient XML transformation language
- OCamlDuce: a merger between CDuce and OCaml
- XStream: streaming for XML transformations
- Papers and talks
- PhD defense
My latest program committees: DBPL 2005, PLAN-X 2006, ICFP 2006, PLAN-X 2007, JFLA 2007.
Open source software
- Sudoku solver in Objective Caml
- OCaml software
- Nostalgy: keyboard productivity extension for Thunderbird
- FlexDLL
About me
- Research-oriented CV (EN)
- Research-oriented CV (FR) (more complete, in French)
- A few words about me (in French)
Old stuff
- Short, old notes in mathematics (in French)
- Short, old notes in computer science (in French)
- A study on Debian's Bug Squashing Parties (in French)
- A small compiler project (in French)
- Program of the CS student seminar at ENS (2001-2002) (in French)

