Qui suis-je ?
Je suis enseignant-chercheur en génie logiciel pour la sûreté et la sécurité des systèmes à Télécom Paris et mainteneur de logiciels libres.
Ma recherche a pour objectif de comprendre et d’améliorer la manière dont les mainteneur·ses et les contributeur·rices de logiciels libres collaborent pour faire évoluer les projets et les écosystèmes logiciels. Une application particulière est de sécuriser les chaînes d’approvisionnement logicielles, en détectant et résolvant les problèmes de maintenance de paquets open source utilisés dans ces dernières.
En tant qu’acteur du logiciel libre, je suis un membre de l’équipe cœur développant l’assistant de preuve Coq. Je maintiens la documentation de Coq ; je suis l’auteur du bot qui assiste l’équipe de développement dans les tâches du quotidien ; j’ai fondé l’initiative Coq-community pour la maintenance à long-terme des paquets de l’écosystème Coq. En 2022, notre équipe a été récompensée par le Prix Science Ouverte du Logiciel Libre de Recherche, décerné par le ministère de la recherche.
J’ai soutenu une thèse de doctorat à l’Université de Paris (ex-Université Paris Diderot, désormais Université Paris Cité) en 2019. Ma thèse s’intitulait “Défis dans l’évolution collaborative d’un langage de preuve et de son écosystème”. Le manuscript (en anglais) et les diapos (en français) de la soutenance sont disponibles.
Recherche
Je décris certains de mes sujets de recherche actuels et les méthodes empiriques que j’utilise sur la version anglaise de cette page. Je décris également quelques précédents travaux sur cette page.
Logiciels
Je décris les logiciels libres que je maintiens activement sur la version anglaise de cette page. Je décris également quelques précédents projets logiciels sur cette page.
Enseignement
À l’Université Paris Cité
- Depuis 2017, je suis chargé des TD / TP du cours de Coq en M1 (Preuves Assistées par Ordinateur).
- Depuis 2022, je suis responsable du cours d’Introduction aux Logiciels Libres en M1.
Précédemment, j’ai été chargé de TD / TP pour des cours de Python (introduction à la programmation, algorithmes et structures de données), un cours d’OCaml et un cours sur les automates et les langages.