Prix et distinctions Sociétés savantes Collège de France Claire Mathieu (Chaire Informatique et sciences numériques 2017-2018) Institut Universitaire de France Delia Kesner (senior 2018) Ahmed Bouajjani (senior 2017) François Laroussinie (junior 2008) Academia Europaea Giuseppe Castagna (since 2011) Jean-Eric Pin (since 2011) EATCS Fellow Jean-Eric Pin (2014) Distinctions à la carrière CNRS Medal Pierre Fraigniaud (2012 silver) Thomas Colcombet (2010 bronze) Arto Salomaa prize Jean-Eric Pin (2018) Prix de l’innovation en informatique distribuée Pierre Fraigniaud (2014) Légion d'Honneur Valérie Berthé (2013) RAICES Award Delia Kesner (2016) Prix logiciel ACM Software System Award Coq (2014, Hugo Herbelin) SIGPLAN Programming Languages Software System Award Coq (2013, Hugo Herbelin) O’Reilly’s Open Source Award Stefano Zacchiroli (2015) Prix de thèse Ackermann prize Amina Doumane (2018) European Association for Programming Languages and Systems PhD Award Zhiwu Xu (2013) Google PhD Fellowship Victor Lanvin (2018) Prix "La recherche" Amina Doumane (2018) Prix Gilles Kahn 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 Gabriel Kerneis (2012) Prix Thiessé de Rosemont / Demassieux Ludovic Patey (2018) Nicolas Tabareau (2009) ACM Student Research Competition Grand Finals Victor Lanvin (2017, undergraduate category)