SANER 2025 (series) / Théo Zimmermann
Registered user since Thu 15 Dec 2016
Name:Théo Zimmermann
Bio:
Mastodon account : @Zimm_i48@fediscience.org
Country:France
Affiliation:Télécom Paris, Polytechnic Institute of Paris
Personal website: http://www.theozimmermann.net
GitHub: https://github.com/Zimmi48
Research interests:Empirical Software Engineering, Open Source, Software Maintenance and Evolution, Proof Assistants
Contributions
Using general profile