É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 is an associate professor in software engineering for the safety and security of systems at Télécom Paris and an open-source maintainer. He obtained his PhD at Université de Paris (former Université Paris-Diderot, now Université Paris Cité) in 2019. His thesis was titled “Challenges in the collaborative evolution of a proof language and its ecosystem.”
His research focuses on understanding and enhancing how open-source maintainers and contributors collaborate to maintain and evolve software projects and ecosystems. In particular, he is interested in securing software supply chains, by detecting and resolving maintenance issues in open source packages used in these supply chains.
On the practitioner side, he is a member of the core team of the Rocq Prover, a proof assistant (formerly known as Coq). He is the author of the bot assisting the development team in everyday tasks, and the founder of the Rocq-community initiative for long-term package maintenance in the Rocq ecosystem. In 2022, his team was awarded the Open Science Award for Open Source Research Software by the French ministry of research.
Research activities :
Empirical software engineering research applied to free and open source software. In particular, he aims to understand, detect and resolve problems of maintenance in packages in open source software supply chains. He is also active on the front of reproducibility, both applied to scientific reproducibility and software security.
Teaching activities :
- The practical part of a course on logical foundations of computer science (CSC_3TC34_TP, formerly INF110), which includes labs introducing the Rocq Prover. The theoretical part is given by David Madore. The course is part of the first year of the engineering cycle at Télécom Paris.
- With Marc Jeanmougin, a course on contributing to free software, also part of the first year of the engineering cycle at Télécom Paris (CSC_3TC37_TP, formerly INF113).
- Starting in 2026-2026, the third year option SWENG (Software Engineering): https://sweng.telecom-paris.fr/ and the DevOps course in the SLR second year.