Prix de thèse Gilles Kahn 2017

Le prix de la Société Informatique de France a été créé en 1998 pour récompenser chaque année une excellente thèse en Informatique. Gilles Kahn, qui a présidé les trois premiers jurys du prix, était convaincu de l’intérêt de promouvoir les jeunes talents les plus prometteurs de notre discipline. En son honneur, le prix a pris depuis 2007 le nom de Prix de thèse Gilles Kahn ; il est patronné par l'Académie des Sciences, et rend ainsi hommage à Gilles Kahn, l'un de ses membres éminents.

La SIF souhaite, par ce prix, promouvoir toutes les facettes de l’informatique, des travaux fondamentaux aux travaux appliqués ayant donné lieu à transfert industriel, de ceux réalisés dans les grands centres à ceux réalisés dans des centres plus modestes. L’objectif est de dynamiser et de motiver de jeunes chercheurs en les récompensant, et de faire connaître à l’ensemble de la communauté informatique d’excellents travaux de recherche.

Les critères pris en compte pour sélectionner les lauréats sont notamment l’originalité des résultats, l’originalité du domaine et des méthodes utilisées, l’importance et l’impact des résultats obtenus, et bien évidemment la qualité de la rédaction, puisqu’il s’agit de récompenser non seulement un travail mais surtout une thèse.

Le prix de thèse 2017 est attribué à Amina Doumane, pour sa thèse intitulée « On the infinitary proof theory of logics with fixed points » préparée au sein des laboratoires IRIF et LSV sous la direction de David Baelde, Alexis Saurin et Pierre-Louis Curien.

Les accessits, dans l’ordre alphabétique sont décernés à :

• Aurélien Cavelan, pour sa thèse intitulée « Algorithmes d’ordonnancement et schémas de résilience pour les pannes et les erreurs silencieuses », préparée au sein du laboratoire LIP et au centre Inria Grenoble Rhône-Alpes (équipe ROMA) sous la direction de Anne Benoit et Yves Robert ;
• Wenjie Fang, pour sa thèse intitulée « Aspects énumératifs et bijectifs des cartes combinatoires : généralisation, unification et application », préparée au sein des laboratoires IRIF et LaBRI sous la direction de Guillaume Chapuy et Mireille Bousquet-Mélou.

La remise officielle du prix aura lieu en 2018 lors du congrès de la SIF (31 janvier–1er février 2018, à Paris). À cette occasion, la récipiendaire se verra remettre un chèque de 1500 euros et chacun des autres lauréats un chèque de 500 euros.

Tous les trois sont également invités à présenter leurs travaux à l’ensemble de la communauté scientifique.

Sous la présidence de Patricia Bouyer-Decitre et avec l’assistance de Pierre Bourhis, secrétaire du prix, le jury est constitué de Sihem Amer-Yahia (LIG), Stephane Bessy (LIRMM), Xavier Blanc (LaBRI), Sylvie Boldo (LRI), Pierre Bourhis (CRIStAL), Patricia Bouyer-Decitre (LSV), Gaëlle Calvary (LIG), Arnaud Carayol (LIGM), Johanne Cohen (LRI), Sylvie Coste-Marquis (CRIL), Guillaume Charpiat (LRI), François Fages (INRIA), Frédéric Jurie (GREYC), Stephan Merz (LORIA), Nicolas Perrin (ISIR), Carine Pivoteau (LIGM), Laurent Simon (LaBRI), Damien Stehlé (LIP), Gerson Sunye (LS2N), Fabien Tarissan (ISP Cachan), Charlotte Truchet (LS2N). Comme il est d’usage, le jury est partiellement renouvelé chaque année, et totalement renouvelé tous les trois ans.