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.

Awards

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.