Équipe de recherche :Research Team:
Systèmes embarqués critiques autonomes (ACES)Autonomous Critical Embedded Systems (ACES)
Laboratoire :Laboratory:
Laboratoire Traitement et Communication de l'Information (LTCI)Information Processing and Communication Laboratory (LTCI)
Département :Department:
Informatique et Réseaux (Infres)Computer Sciences and Networks (Infres)
Théo Zimmermann est maître de conférences en génie logiciel pour la sûreté et la sécurité des systèmes à Télécom Paris et mainteneur open source.
Il a obtenu son doctorat à l’Université de Paris (ex-Université Paris Diderot, désormais Université Paris Cité) en 2019. Sa thèse s’intitulait : « Challenges in the collaborative evolution of a proof language and its ecosystem ».
Ses recherches portent sur la compréhension et l’amélioration des modes de collaboration entre mainteneurs et contributeurs open source afin de maintenir et faire évoluer des projets et des écosystèmes logiciels. Plus particulièrement, il s’intéresse à la sécurisation des chaînes d’approvisionnement logicielles, notamment par la détection et la résolution de problèmes de maintenance dans les paquets open source utilisés au sein de ces chaînes.
Du côté pratique, il est membre de l’équipe cœur de Rocq Prover, un assistant de preuve (anciennement connu sous le nom de Coq). Il est l’auteur du bot assistant l’équipe de développement dans les tâches quotidiennes, ainsi que le fondateur de l’initiative Rocq-community dédiée à la maintenance à long terme des paquets de l’écosystème Rocq. En 2022, son équipe a reçu le Prix Science Ouverte du Logiciel Libre de Recherche décerné par le ministère français de la Recherche.
Activité de recherche
Recherche empirique en génie logiciel appliquée aux logiciels libres et open source. Plus précisément, il cherche à comprendre, détecter et résoudre les problèmes de maintenance des paquets dans les chaînes d’approvisionnement logicielles open source. Il est également actif sur les questions de reproductibilité, aussi bien en ce qui concerne la reproductibilité scientifique que la sécurité logicielle.
Activités d’enseignement
- La partie pratique d’un cours sur les fondements logiques de l’informatique (CSC_3TC34_TP anciennement INF110), comprenant des travaux pratiques d’introduction à Rocq. La partie théorique est assurée par David Madore. Ce cours fait partie de la première année du cycle ingénieur à Télécom Paris.
- Avec Marc Jeanmougin, un cours consacré à la contribution aux logiciels libres, également intégré à la première année du cycle ingénieur à Télécom Paris (CSC_3TC37_TP, anciennement INF113).
- À partir de l’année 2026-2027, l’option de troisième année SWENG (Software Engineering) : https://sweng.telecom-paris.fr/, ainsi que le cours DevOps en deuxième année du parcours SLR.