Scholar
Théo Zimmermann
Google Scholar ID: -NgHOiwAAAAJ
Télécom Paris, Polytechnic Institute of Paris
Citations & Impact
Citations
932
H-index
7
i10-index
5
Publications
20
Co-authors
20
list available
Publications
Resume (English only)
Research Experience
- Member of the core team of the Rocq Prover (formerly Coq); maintains documentation, authored the team’s development-assist bot, and founded the Rocq-community initiative for long-term package maintenance
- Led the successful migration of Coq’s bug tracking system from Bugzilla to GitHub in 2017
- Integrated Reverse Dependency Compatibility Testing (RDCT) into Coq’s CI to improve stability and reduce user migration costs
- Integrated Jason Gross’s bug minimizer into the CI workflow to help diagnose broken reverse dependencies
- Co-maintains the Coq Nix Toolbox with Cyril Cohen to generate CI configurations for reverse dependency compatibility testing
