4,384
reputation
3
2
Zimm i48
CS PhD student working on the Coq proof assistant.
I frequently contribute to open source projects and publish my own programs as free software. I try to encourage people to do the same and help them understand license meaning and respect other people work.
Also interested in crowdsourcing, and more generally mass collaboration using the Web, open science and open research.
Check out my blog!
-
Paris, France
-
Member for 3 years, 3 months
-
0 profile views
-
Last seen Jul 14 '17 at 12:44
Communities (22)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
Badges (5)
Gold
—
Silver
3
Rarest
Bronze
2
Rarest
-
Feb 17 '17
-
Sep 10 '16
