Nous continuons les courtes présentations de membres de l'April par celle de David, membre du conseil d'administration de l'April.
Je suis membre du conseil d'administration de l'April depuis 2011. Après une thèse en informatique théorique, j'ai travaillé quelques années dans le domaine des logiciels de vol satellitaires au centre national d'études spatiales (CNES) à Toulouse. Depuis fin 2008, je suis chercheur dans le domaine des méthodes formelles (approches "mathématiques" de l'informatique visant à produire des systèmes plus surs).
Mes activités professionnelles m'ont amené à promouvoir le logiciel libre auprès de divers publics (industriels, juristes, chercheurs...) et à participer à divers projets libres dans l'industrie aérospatiale.
Outre un intérêt particulier pour les approches libres dans la recherche ou l'industrie non spécifiquement logicielle, je suis très intéressé par les mouvements libristes concourant à l'émancipation de nos concitoyens (freedom box, donnés publiques, alphabétisation numérique, accessibiité...).