Home My Page Projects CoqFiniteGroups
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project Member List

If you would like to contribute to this project by becoming a member, contact one of the project admins, designated in bold text below.

Member User Name Role(s)/Position(s)
Laurence Rideau
lrg Senior Developer
Andrew Kennedy
akenn Senior Developer
Thierry Coquand
coquand Senior Developer
Keiko Nakata
nakatakeiko Senior Developer
Aleksandar Nanevski
aleksn Senior Developer
Jose Grimm
grimm Senior Developer
Andrea Asperti
asperti Senior Developer
Ioana Pasca
ipasca Senior Developer
Roland Zumkeller
zumkeller Senior Developer
Russell O'Connor
roconnor Senior Developer
François Garillot
garillot Senior Developer
Benjamin Werner
werner Senior Developer
Jorik Mandemaker
jorik Senior Developer
Sophie Bernard
sobernar , Junior Developer
Pierre Boutry
boutry , Junior Developer
vladimir voevodsky
vladimirias Junior Developer
Chantal Keller
ckeller Junior Developer
Benjamin Gregoire
bgregoir Junior Developer
Reynald Affeldt
affeldt Junior Developer
Salil Joshi
salil Junior Developer
Erik Martin-Dorel
emartind Junior Developer
Maxime Dénès
mdenes Junior Developer
Frédéric Chyzak
fchyzak Junior Developer
Thomas Sibut-Pinote
tsibutpi Junior Developer
Iro Bartzia
bartzia Junior Developer
Alexey Solovyev
alexey Junior Developer
Guillaume Cano
gcano Junior Developer
Benjamin Lesage
blesage Junior Developer
Anders Mörtberg
mortberg Junior Developer
Vladimir Komendantsky
komenda Junior Developer
Jeremy Avigad
avigad Junior Developer
Vincent Siles
vsiles Junior Developer
Matthieu Sozeau
msozeau Junior Developer
Guillaume Melquiond
gmelquio Junior Developer
Nick Benton
nickbenton Junior Developer
Pierre-Yves Strub
strub Junior Developer
Hydra Continuous Integration
hydra-ci Junior Developer
Beta Ziliani
beta Junior Developer
Julianna Zsido
jzsido Junior Developer
Sidi Ould Biha
sbiha Junior Developer
Stéphane Le Roux
stephaneleroux Junior Developer
Sean McLaughlin
seanmcl Junior Developer
Peng Wang
wangpeng Junior Developer
Gabriel Lewertowski
lewer , Junior Developer
Boris Djalal
godunov Junior Developer
Amy Felty
felty
Laurent Théry
thery , Admin
Yves Bertot
bertot Admin
Georges Gonthier
gonthier Admin
Assia Mahboubi
amahboub Admin
Cyril Cohen
ccohen Admin
Enrico Tassi
gareuselesinge Admin
Henryk Michalewski
hmichalewski Observer