Prix Gilles-Kahn
| Prix Gilles-Kahn | |
 annuel | |
|---|---|
| Nom original | Prix de thèse Gilles Kahn |
| Prix remis | 1 500 € pour le lauréat 500 € pour chaque accessit |
| Description | Récompense une thèse en informatique remarquable |
| Organisateur | Société informatique de France (SIF) |
| Date de création | 1998 |
| Dernier récipiendaire | Margot Hérin (2025) |
| Site officiel | https://www.socinfo.fr/recherche/prix-de-these-gilles-kahn/ |
modifier  |
|
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 Peter F. Sturm - Vision 3D non calibrée. Contributions à la reconstruction projective et étude des mouvements critiques pour l'auto-calibrage
- 1999 Gilles Schaeffer - Conjugaison d'arbres et cartes combinatoires aléatoires
- 2000 Bruno Levy - Topologie algorithmique : combinatoire et plongement
- 2001 Frédéric Blanqui - Théorie des types et récriture
- 2002 Alexandre Farcy - Exécution anticipée des flots de condition : une alternative aux prédictions de branchement
- 2003 Véronique Cortier - Vérification automatique des protocoles cryptographiques
- 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
- 2005 Alain Frisch - Théorie, conception et réalisation d'un langage de programmation adapté à XML
- 2006 Florence Bertails - Simulation de chevelures virtuelles
- 2007 Caroline Appert - Modélisation, Évaluation et Génération de Techniques d'Interaction
- 2008 Laurent Bienvenu - Game-theoretic characterizations of randomness: unpredictability and stochasticity
- 2009 Arshia Cont - Modélisation de l'anticipation musicale: du temps de la musique vers la musique du temps
- 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
- 2011 André Chailloux - Quantum Coin Flipping and Bit Commitment : Optimal Bounds, Practical Constructions and Computational Security
- 2012 Mathieu Feuillet - Allocation de bande passante dans les grands réseaux stochastiques
- 2013 Delphine Demange - Fondements sémantiques des représentations intermédiaires de programmes
- 2014 Tancrède Lepoint - Design and Implementation of Lattice-Based Cryptography
- 2015 Clément Maria - Algorithmes et Structures de Données en Topologie Algorithmique
- 2016 Fabrice Ben Hamouda--Guichoux - Diverse modules and zero-knowledge
- 2017 Amina Doumane - On the infinitary proof theory of logics with fixed points
- 2018 Théo Mary - Solveurs multifrontaux exploitant des blocs de rang faible : complexité, performance et parallélisme
- 2019 Raphaëlle Crubillé - Behavioral Distances for Probabilistic Higher-order Programs
- 2020 Thomas Debris-Alazard - Cryptographie fondée sur les codes : nouvelles approches pour constructions et preuves ; contribution en cryptanalyse
- 2021 Gabrielle De Micheli - Discrete Logarithm Cryptanalyses: Number Field Sieve and Lattice Tools for Side-Channel Attacks
- 2022 Denis Merigoux - Proof-Oriented Domain-Specific Language Design for High-Assurance Software
- 2023 David Saulpic - Approximation Algorithms and Sketches for Clustering
- 2024 Emilie Yu - Designing Tools for 3D Content Authoring Based on 3D Sketching
- 2025 Margot Hérin « Learning Preference Models: A Marriage between Decision Theory and Machine Learning » préparée au LIP6, UMR 7606 (CNRS), Sorbonne Université. Deux accessits, par ordre alphabétique :
- Son Ho « Formal Verification of Rust Programs by Functional Translation » réalisée à Inria Paris
- Corentin Jeudy pour sa thèse intitulée « Design of Advanced Post-Quantum Signature Schemes » préparée à l’IRISA, UMR 6074 (CNRS), Inria, Université de Rennes et Orange, qui reçoit en outre la mention « thèse à portée industrielle ».
Liens externes
- (fr) Prix de thèse Gilles Kahn - site officiel
- (fr) Prix de thèse Gilles Kahn, éditions antérieures à 2011
- (fr) Société informatique de France - site officiel de la SIF
