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 member, contact one of the project admins, designated in bold text below.

Member User Name Role(s)/Position(s)
Claude Marché
marche Admin
Jean-Christophe Filliâtre
filliatr Admin
Andrei Paskevich
tertium Admin
Guillaume Melquiond
gmelquio Admin
Benjamin Monate
monate Senior Developer
Germain Faure
faure Senior Developer
Simão Melo de Sousa
desousa Senior Developer
Clément Fumex
cfumex Senior Developer
David Hauzar
hauzar Senior Developer
Kim Nguyen
kim Senior Developer
Sylvain Dailler
sdailler Senior Developer
Arthur Charguéraud
arthurc Senior Developer
Johannes Kanig
kanig Junior Developer
Francois Bobot
bobot Junior Developer
Asma Tafat
atafat Junior Developer
Thi Minh Tuyen Nguyen
ntmtuyen Junior Developer
Leéon Gondelman
gondelman Junior Developer
Daisuke Ishii
ishii Junior Developer
Martin Clochard
clochard Junior Developer
Mário Pereira
pereira Junior Developer
chenran Junior Developer
Lucas Baudin
lucasb Junior Developer
Raphaël Rieu-Helft
rieuhelft Junior Developer