Researcher in Empirical Software Engineering. Studies how open source contributors collaborate. @rocq-prover maintainer. @NixOS user and contributor.
-
Télécom Paris
- Paris
-
17:30
(UTC +02:00) - https://www.theozimmermann.net/
- https://orcid.org/0000-0002-3580-8806
- @Zimm_i48@fediscience.org
Highlights
Search results
0 open and 0 closed projects found.-
No open projects