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)
CNRS Medal
Claire Mathieu (2019 silver)
Pierre Fraigniaud (2012 silver)
Thomas Colcombet (2010 bronze)
EACSL Alonzo Church Award
Thomas Ehrhard (
2024
):|
Award interview
L'Oréal-Unesco award for women in science
Liat Peterfreund (2020)
Prize for Innovation in Distributed Computing (SIROCCO award)
Sergio Rajsbaum (2024)
Amos Korman (2020)
Pierre Fraigniaud (2014)
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)
Trophées Marocains du Monde - UM6P
Ahmed Bouajjani (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
portrait écrit
.
Baptiste Louf (2021). Lire son
portrait écrit
.
Prix de thèse en informatique distribuée
Robin Vacus (2024)
Ackermann prize
Aliaume Lopez (2024)
Gaëtan Douéneau-Tabot (2024)
Amina Doumane (2018)
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)
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)
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 |
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Helena Rasiowa Award (CSL Best Student Paper Award 2022): Antonio Casares |
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.
Lire son portrait écrit
.
MFPCS Best Student Paper Award 2022: Gaëtan Douéneau-Tabot.
Lire son portrait écrit
.