Current members of Gallium

Faculty:

Damien Doligez (Inria research scientist)
Xavier Leroy (Professor at Collège de France, 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)

Post-doc:

Ioannis Filippidis

PhD students:

Armaël Guéneau
Glen Mevel
Naomi Testard
Thomas Williams

Technical staff:

Sébastien Hinderer (research programmer, SED)

Administrative staff:

Laurence Bourcier