Registered user since Thu 15 Dec 2016
Name:Théo Zimmermann
Bio:
Mastodon account : @[email protected]
Country:France
Affiliation:Télécom Paris, Polytechnic Institute of Paris
Personal website: http://www.theozimmermann.net
Research interests:Empirical Software Engineering, Open Source, Software Maintenance and Evolution, Proof Assistants
Contributions
Using general profile