Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year

Permanents members

Gaëtan Gilbert, currently PhD student in the Gallinette team, will be promoted expert engineer for the Coq consortium, staying in the Gallinette team.

Matthieu Sozeau, Inria Junior Researcher and leader of the Coq development team, is joining the Gallinette team end of 2019-beginning of 2020.

Nicolas Tabareau is now director of research (DR2) at Inria since October 2019.


Marie Kerjean has been awarded a L’Oréal - Unesco Foundation grant.

L’Oréal - Unesco Grants for Women in Science are awarded to talented young female researchers.