Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 7 years, 1 month
  • Last seen more than a month ago
Stats
5,537
reputation
251k
reached
95
answers
4
questions
Loading…
About

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!

This user doesn’t have any gold badges yet.
16
silver badges
40
bronze badges
142
Score
27
Posts
27
Posts %
68
Score
18
Posts
18
Posts %
62
Score
9
Posts
9
Posts %
56
Score
8
Posts
8
Posts %
49
Score
8
Posts
8
Posts %
44
Score
7
Posts
7
Posts %
Top posts
View all questions and answers