Prix et distinctions Sociétés savantes et institutions nationales IFIP Fellow Jacques Sakarovitch (2021) Académie des Sciences Claire Mathieu (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) Académie des Sciences de Turin Delia Kesner (since 2020) 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) EATCS Fellow Jean-Eric Pin (2014) Academia Europaea Giuseppe Castagna (since 2011) Jean-Eric Pin (since 2011) 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) RAICES Award Delia Kesner (2016) Légion d'Honneur Valérie Berthé (2013) Claire Mathieu (2020) 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 » Baptiste Louf (2021) Prix de thèse GPL (Génie de la Programmation et du Logiciel) 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)