Researcher in Empirical Software Engineering. Studies how open source contributors collaborate. @rocq-prover maintainer. @NixOS user and contributor.
-
Télécom Paris
- Paris
-
06:47
(UTC +02:00) - https://www.theozimmermann.net/
- https://orcid.org/0000-0002-3580-8806
- @Zimm_i48@fediscience.org
Highlights
Luj
JulienMalka
Software supply chain security researcher, NixOS enthusiast & contributor.
Other interests: PL theory, software security, formal verification.
PhD Student at Télécom Paris // Freelancer Paris
Gregor Martynus
gr2m
AI SDK tech lead
@vercel @octokit @octoherd @probot @nock @semantic-release @AllContributors @hearts Los Angeles
Julian Coolen
jtcoolen
Research Engineer in Cryptography. Post-quantum cryptography and agentic engineering.
EY London, England
Denis Merigoux
denismerigoux
Research engineer at Inria, specialized in programming language design and technological transfer towards public service agencies.
Inria Paris
Emilio Jesús Gallego Arias
ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
Lean FRO Paris