=====Prix et distinctions=====

==== Sociétés savantes et institutions nationales ====


== 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)
==== Distinctions de carrière ====

== 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)
==== Prix logiciel ====

== 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 de thèse ====

== 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 [[https://www.irif.fr/portraits/jonas-landman|portrait écrit]]. 
  * Baptiste Louf (2021). Lire son [[https://www.irif.fr/portraits/baptiste-louf|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) 

==== Prix de conférences ====

== 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
  * LICS Test-of-Time award 2022: François Laroussinie 
  * Concur Test-of-Time Award 2023 : Jean Krivine
  * Imre Simon Test-of-Time award 2024 : Pierre Fraigniaud

== 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 
  * Reviewers’ Choice Award 2024, best paper of the year for The Programming Journal: Giuseppe Castagna, Guillaume Duboc

== Best Student Paper Award ==
  * Helena Rasiowa Award (CSL Best Student Paper Award 2024): Quentin Aristote | [[https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.11|Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids]]
  * Helena Rasiowa Award (CSL Best Student Paper Award 2022): Antonio Casares | [[https://www.irif.fr/~colcombe/Other/CSL2022_Casares_OnThe_MinimisationRabin.pdf|On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions]]
  * FPSAC Best Student Paper Award: Houcine Ben Dali
  * ICALP Best Student Paper Award 2022: Gaëtan Douéneau-Tabot. [[https://www.irif.fr/portraits/gaetan-doueneau-tabot|Lire son portrait écrit]].
  * MFPCS Best Student Paper Award 2022: Gaëtan Douéneau-Tabot. [[https://www.irif.fr/portraits/gaetan-doueneau-tabot|Lire son portrait écrit]].