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 Valérie Berthé (2013) Claire Mathieu (2020) 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)