4,593
reputation
10
35

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!

95
answers
4
questions
~108k
people reached

Top tags (71)

Score 109
Posts 27
Posts % 27
Score 55
Posts 18
Score 46
Posts 9
Score 39
Posts 8
Score 38
Posts 8
Score 33
Posts 8

Top posts (99)

View all questions and answers

Badges (45)

Gold

Silver

10

Rarest

Bronze

35

Rarest