Prix Gilles-Kahn

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Le prix de thèse Gilles-Kahn, patronné par l'Académie des Sciences et décerné par la Société informatique de France (SIF), récompense chaque année une excellente thèse en informatique soutenue dans une école ou une université française. Le prix est nommé en l'honneur de Gilles Kahn (1946-2006), chercheur en informatique, membre de l'Académie des sciences, directeur scientifique et président de l'Institut national de recherche en informatique et en automatique (Inria).

Lauréats du Prix de thèse en informatique 1998–2017[modifier | modifier le code]

  • 2017 Amina Doumane - On the infinitary proof theory of logics with fixed points
  • 2016 Fabrice Ben Hamouda--Guichoux - Diverse modules and zero-knowledge
  • 2015 Clément Maria - Algorithmes et Structures de Données en Topologie Algorithmique
  • 2014 Tancrède Lepoint - Design and Implementation of Lattice-Based Cryptography
  • 2013 Delphine Demange - Fondements sémantiques des représentations intermédiaires de programmes
  • 2012 Mathieu Feuillet - Allocation de bande passante dans les grands réseaux stochastiques
  • 2011 André Chailloux - Quantum Coin Flipping and Bit Commitment : Optimal Bounds, Practical Constructions and Computational Security
  • 2010 Xavier Allamigeon - Analyse statique de manipulations de mémoire par interprétation abstraite - Algorithmique des polyèdres tropicaux, et application à l'interprétation abstraite
  • 2009 Arshia Cont - Modélisation de l'anticipation musicale: du temps de la musique vers la musique du temps
  • 2008 Laurent Bienvenu - Game-theoretic characterizations of randomness: unpredictability and stochasticity
  • 2007 Caroline Appert - Modélisation, valuation et Génération de Techniques d'Interaction
  • 2006 Florence Bertails - Simulation de chevelures virtuelles
  • 2005 Alain Frisch - Théorie, conception et réalisation d'un langage de programmation adapté à XML
  • 2004 Sid-Ahmed Berrani - Recherche approximative de plus proches voisins avec contrôle probabiliste de la précision; application la recherche d'images par le contenu
  • 2003 Véronique Cortier - Vérification automatique des protocoles cryptographiques
  • 2002 Alexandre Farcy - Exécution anticipée des flots de condition : une alternative aux prédictions de branchement
  • 2001 Frédéric Blanqui - Théorie des types et récriture
  • 2000 Bruno Levy - Topologie algorithmique : combinatoire et plongement
  • 1999 Gilles Schaeffer - Conjugaison d'arbres et cartes combinatoires aléatoires
  • 1998 Peter F. Sturm - Vision 3D non calibrée. Contributions à la reconstruction projective et étude des mouvements critiques pour l'auto-calibrage

Liens externes[modifier | modifier le code]