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 le logiciel Rocq Prover, un assistant de preuve (anciennement connu sous le nom de Coq). Je maintiens la documentation de Rocq ; je suis l’auteur du bot qui assiste l’équipe de développement dans les tâches du quotidien ; j’ai fondé l’initiative Rocq-community pour la maintenance à long-terme des paquets de l’écosystème Rocq. 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. Pour les étudiants potentiellement intéressés par faire de la recherche avec moi, je propose quelques idées de projets (liste non exhaustive) 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

À Télécom Paris

En 2024-2025, je suis responsable de :

• La partie TD/TP de l’UE de première année du cycle ingénieur CSC_3TC34_TP (anciennement INF110) “Logique et Fondement de l’Informatique”, qui comporte notamment un TP en Python de simulation de machines de Turing et quatre TP introduisant l’assistant de preuve Rocq (les sujets de TP sont disponibles). David Madore est responsable de la partie théorique / cours magistral (supports également disponibles).
• L’UE de première année du cycle ingénieur CSC_3TC37_TP (anciennement INF113) sur la contribution aux logiciels libres. Le matériel du cours est disponible.
• L’UE d’option de deuxième année CSC_0EL10_TP (anciennement INF203) “Web development”.

Précédemment

À l’Université Paris Cité, j’ai été responsable du cours d’Introduction aux Logiciels Libres en M1 pendant deux ans (2021-2022 et 2022-2023), chargé des TD / TP du cours de Coq en M1 (Preuves Assistées par Ordinateur) pendant sept ans (de 2016-2017 à 2022-2023), et également 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.