Awards and Honors
Learned Societies and National Institutions
Académie des Sciences
Claire Mathieu (since 2020)
Academia Europaea
Giuseppe Castagna (since 2011)
Jean-Eric Pin (since 2011)
Académie des Sciences de Turin
Delia Kesner (since 2020)
Collège de France
Frédéric Magniez (Chaire Informatique et sciences numériques 2020-2021)
Claire Mathieu (Chaire Informatique et sciences numériques 2017-2018)
EATCS Fellow
Claire Mathieu (2023)
Jean-Eric Pin (2014)
IFIP Fellow
Jacques Sakarovitch (2021)
Institut Universitaire de France
Olivier Carton (senior 2022)
Constantin Enea (junior 2019)
Delia Kesner (senior 2018)
Sylvain Schmitz (junior 2018)
Ahmed Bouajjani (senior 2017)
François Laroussinie (junior 2008)
Career Awards
Grand prix Inria – Académie des sciences
Pierre-Louis Curien (2020)
L'Oréal-Unesco award for women in science
Liat Peterfreund (2020)
Prize for Innovation in Distributed Computing (SIROCCO award)
Amos Korman (2020)
Pierre Fraigniaud (2014)
CNRS Medal
Claire Mathieu (2019 silver)
Pierre Fraigniaud (2012 silver)
Thomas Colcombet (2010 bronze)
Arto Salomaa prize
Jean-Eric Pin (2018)
Carl Friedrich von Siemens Research Award of the Alexander von Humboldt Foundation
Ahmed Bouajjani (2018)
Honorary doctors
Ahmed Bouajjani (2022, Faculty of Science and Technology of Uppsala University)
RAICES Award
Delia Kesner (2016)
Légion d'Honneur
Claire Mathieu (2020)
Valérie Berthé (2013)
The Belgian Mathematical Society (BMS) “Godeaux lecture prize”
Mirna Džamonja (2024)
Software Awards
Prix Science Ouverte du Logiciel Libre de la Recherche
Coq (catégorie science et technique) (2022)
O’Reilly’s Open Source Award
Stefano Zacchiroli (2015)
ACM Software System Award
Coq (2014, Hugo Herbelin)
SIGPLAN Programming Languages Software System Award
Coq (2013, Hugo Herbelin)
PhD Awards
Prix solennel de thèse de la chancellerie des Universités de Paris, catégorie prix en sciences « toutes spécialités »
Jonas Landman (2022). Lire son
portrait écrit
.
Baptiste Louf (2021). Lire son
portrait écrit
.
Prix de thèse GPL (Génie de la Programmation et du Logiciel)
Victor Lanvin (accessit 2022)
Tommaso Petrucciani (2020)
Gabriel Kerneis (2012)
Prix de thèse PSL en Sciences Humaines et Sociales
Enka Blanchard (2020, Interface Sciences/Humanités et Sciences Sociales)
Prix « La recherche »
Amaury Pouly (2019)
Amina Doumane (2018)
Prix Gilles Kahn
Raphaëlle Crubillé (2019)
Fabian Reiter (accessit 2018)
Amina Doumane (2017)
Wenjie Fang (accessit 2017)
Ludovic Patey (accessit 2016)
Nicolas Tabareau (accessit 2009)
Hugo Gimbert (accessit 2007)
Olivier Serre (accessit 2005)
Ackermann prize
Amina Doumane (2018)
Google PhD Fellowship
Victor Lanvin (2018)
Prix Thiessé de Rosemont / Demassieux
Ludovic Patey (2018)
Nicolas Tabareau (2009)
ACM Student Research Competition Grand Finals
Victor Lanvin (2017, undergraduate category)
European Association for Programming Languages and Systems Ph.D. Award
Zhiwu Xu (2013)