Accueil🇫🇷Chercher

Prix Gilles-Kahn

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

  • 2021 Gabrielle De Micheli - Discrete Logarithm Cryptanalyses: Number Field Sieve and Lattice Tools for Side-Channel Attacks
  • 2020 Thomas Debris-Alazard - Cryptographie fondĂ©e sur les codes : nouvelles approches pour constructions et preuves ; contribution en cryptanalyse
  • 2019 RaphaĂ«lle CrubillĂ© - Behavioral Distances for Probabilistic Higher-order Programs
  • 2018 ThĂ©o Mary - Solveurs multifrontaux exploitant des blocs de rang faible : complexitĂ©, performance et parallĂ©lisme
  • 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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.