Current members of Gallium

Faculty:

Damien Doligez (Inria research scientist)
Xavier Leroy (Inria senior research scientist, head of the team)
Jean-Marie Madiot (Inria research scientist)
Luc Maranget (Inria research scientist)
Michel Mauny (Inria senior research scientist)
François Pottier (Inria senior research scientist)
Didier Rémy (Inria senior research scientist, deputy head of the team)

Post-doc:

Gergö Barany

PhD students:

Vitaly Aksenov
Armaël Guéneau
Naomi Testard
Thomas Williams

Technical staff:

Sébastien Hinderer (research programmer, SED)

Interns:

Lucas Baudin
Simon Colin
Nathanaël Courant
Émilie Guermeur
Glen Mevel
Sébastien Michelland

Administrative staff:

Laurence Bourcier