Dottore di ricerca e ricercatore in informatica presso l'Università Paris Diderot di Parigi. Si occupa di metodi formali applicati all'ingegneria del software, in particolare per studiare complessi sistemi a componenti quali le distribuzioni di software libero. Sviluppatore Debian dal 2001, si occupa attualmente di Quality Assurance nella distribuzione Debian ed in distribuzioni derivate. Mantiene inoltre parte dell'infrastruttura Debian (quali il Package Tracking System) ed è responsabile dello stack di pacchetti relativi al linguaggio OCaml.
