Email: <glondu AT debian DOT org>, <steph AT glondu DOT net>
- IRC: sgnb on irc.debian.org
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.
I am the main developer of the Belenios Internet voting system.
I used to take part in the development of the Ocsigen web server and framework, and the Coq proof assistant.