Le prix de thèse Gilles Kahn 2022, décerné par la SiF et patronné par l’Académie des Sciences, est attribué à :
Lauréat
Denis Merigoux,
« Proof-Oriented Domain-Specific Language Design for High-Assurance Software »
Thèse préparée à l’ENS Paris et Inria Paris (Prosecco), en partenariat avec Microsoft Research.
Accessits
Mathilde Caron,
« Self-supervised learning of deep visual representations »
Thèse préparée au LJK, Université Grenoble Alpes, Inria Grenoble Rhone Alpes, en partenariat avec Facebook AI Research (FAIR)
Florent Koechlin,
« Systèmes de fonctions holonomes : application à la théorie des automates »
Thèse préparée au LIGM, Univ. Gustave Eiffel
Composition du jury
- Mathieu Acher (IRISA, Rennes)
- Marie Albenque (LIX, Palaiseau)
- Oumaya Baala (FEMTO-ST, Belfort-Montbéliard)
- Marthe Bonamy (LaBRI, Bordeaux) – secrétaire du prix
- Adrien Bousseau (Inria, Nice)
- Mathieu Carrière (Inria Sophia, Nice)
- Gabrielle de Micheli (Loria, Nancy)
- Thomas Debris-Alazard (Inria Saclay, Saclay)
- Thomas Degueule (LaBRI, Bordeaux)
- Jean-Daniel Fekete (Inria Saclay, Saclay)
- Laurent Feuilloley (LIRIS, Lyon)
- Rebecca Fribourg (LS2N, Nantes)
- Laure Gonnord (LCIS, Grenoble)
- Natalia Grabar (STL, Lille)
- Amaury Habrard (LHC, Saint-Etienne)
- Steve Kremer (LORIA, Nancy)
- Florent Lamiraux (LAAS, Toulouse)
- Jerome Lang (LAMSADE, Paris)
- Antoine Limasset (Cristal, Lille)
- Assia Mahboubi (LS2N, Nantes)
- Arnaud de Mesmay (LIGM, Marne la Vallée)
- Marie-Laure Mugnier (LIRMM, Montpellier)
- Yann Ponty (LIX, Palaiseau) – président du prix
- Vivien Quéma (LIG, Grenoble)
- Laurent Réveillère (LaBRI, Bordeaux)
- Claudia Roncancio (IMAG, Grenoble)
- Rémi Watrigant (LIP, Lyon)