4,828
reputation
11
35

Zimm i48

Software Engineering researcher working on the Coq proof assistant and its ecosystem.

I am deeply involved in the open source community, as a contributor, as a maintainer (and as an author since I 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
~143k
people reached

Top tags (71)

Score 116
Posts 27
Posts % 27
Score 60
Posts 18
Score 51
Posts 9
Score 41
Posts 8
Score 39
Posts 8
Score 35
Posts 8

Top posts (99)

View all questions and answers

Badges (46)

Gold

Silver

11

Rarest

Bronze

35

Rarest