2017
Le prix de thèse Gilles Kahn 2017, décerné par la SiF et patronné par l’Académie des Sciences, est attribué à:
pour sa thèse intitulée « On the infinitary proof theory of logics with fixed points » soutenue à l’Université Paris-Diderot et préparée à l’Institut de Recherche en Informatique Fondamentale (IRIF) et au Laboratoire Spécification et Vérification (LSV) sous la direction de David Baelde, Alexis Saurin et Pierre-Louis Curien.
Voir la présentation d’Amina Doumane.
Les accessits, dans l’ordre alphabétique sont pour :
pour sa thèse intitulée « Algorithmes d’ordonnancement et schémas de résilience pour les pannes et les erreurs silencieuses », soutenue à l’Université de Lyon, opérée par l’École Normale Supérieure de Lyon, et préparée au Laboratoire de l’Informatique du Parallélisme (LIP) et au centre Inria Grenoble Rhônes-Alpes (équipe ROMA), sous la direction de Anne Benoit et Yves Robert.
Voir la présentation d’Aurélien Cavelan.
pour sa thèse intitulée « Aspects énumératifs et bijectifs des cartes combinatoires : généralisation, unification et application », soutenue à l’Université Paris-Diderot, et préparée à l’Institut de Recherche en Informatique Fondamentale (IRIF) et au Laboratoire Bordelais de Recherche en Informatique (LaBRI), sous la direction de Guillaume Chapuy et Mireille Bousquet-Mélou
Voir la présentation de Wenjie Fang.
La remise officielle du prix a eu lieu lors du congrès de la SIF (31 janvier – 1er février 2018, à Paris). À cette occasion, le récipiendaire a reçu un chèque de 1500 euros et chacun des autres lauréats un chèque de 500 euros.