Dr. Théo Zimmermann 🏳️‍🌈

Empirical software engineering researcher. Assistant professor at Télécom Paris. I'm interested in #opensource, #opencollaboration, #openscience and creating a better #democracy. Maintainer of the Rocq Prover and other open source software. He / Him. lgBtqia