Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Project Member List

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

Member Username Role(s)/Position(s)
Claude Marché
marcheAdmin
Jean-Christophe Filliâtre
filliatrAdmin
Andrei Paskevich
tertiumAdmin
Guillaume Melquiond
gmelquioAdmin
Benjamin Monate
monateSenior Developer
Germain Faure
faureSenior Developer
Simão Melo de Sousa
desousaSenior Developer
Johannes Kanig
kanigJunior Developer
Francois Bobot
bobotJunior Developer
Asma Tafat
atafatJunior Developer
Thi Minh Tuyen Nguyen
ntmtuyenJunior Developer
Levs Gondelmans
gondelmanJunior Developer
Daisuke Ishii
ishiiJunior Developer
Martin Clochard
clochardJunior Developer