Since 2007, I'm working for LexiFi, a company which provides software for the valuation, analysis, and management of derivatives and structured products. As part of this job and also as a personal hobby, I'm also an active member of the Objective Caml development team.
About me
- Resume (EN)
- Research-oriented CV (EN)
- Research-oriented CV (FR) (More complete, but out-dated. In French.)
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
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)
