Contact

Debian

I am a DebianDeveloper since 2009-08-25. I have been using Debian since 2005. I have been maintaining some packages since 2007. I am mostly active in the OCaml Task Force.

Free Software

I take part in the development of the Ocsigen web server and framework, and the Coq proof assistant.