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.
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
Open source software
- Nostalgy: Keyboard productivity extension for the Thunderbird email client
- flexdll: dlopen emulation for Windows
- Github: my Github home page
Old stuff
- Short, old notes in mathematics (in French)
- Short, old notes in computer science (in French)