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)
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
  • Valérie Berthé (2013)
  • Claire Mathieu (2020)
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)
Prix solennel de thèse de la chancellerie des Universités de Paris, catégorie prix en sciences « toutes spécialités »
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)
Test of Time Award
  • Most Influential PPDP Paper 10-Year Award 2019: Giuseppe Castagna
  • Concur Test-of-Time Award 2021: Ahmed Bouajjani
  • International Conference on Runtime Verification Award 2021: Eugene Asarin
  • Concur Test-of-Time Award 2023 : Jean Krivine
Best Paper Award
  • ICALP Best Paper Award 2019: Mikaël Rabie
  • ICALP Best Paper Award 2020: Thomas Colcombet
  • Oded Maler best paper Award in Timed Systems 2021: Eugene Asarin
Best Student Paper Award
  • Helena Rasiowa Award (CSL Best Student Paper Award 2022): Antonio Casares
  • FPSAC Best Student Paper Award: Houcine Ben Dali
  • ICALP Best Student Paper Award 2022: Gaëtan Douéneau-Tabot. Lire son portrait écrit.
  • MFPCS Best Student Paper Award 2022: Gaëtan Douéneau-Tabot. Lire son portrait écrit.