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
Le jury était présidé par Yann Ponty, assisté de Marthe Bonamy, secrétaire du prix, et constitué de Mathieu Acher, Marie Albenque, Oumaya Baala, Adrien Bousseau, Mathieu Carrière, Gabrielle de Micheli, Thomas Debris-Alazard, Thomas Degueule, Jean-Daniel Fekete, Laurent Feuilloley, Rebecca Fribourg, Laure Gonnord, Natalia Grabar, Amaury Habrard, Steve Kremer, Florian Lamiraux, Jérôme Lang, Antoine Limasset, Assia Mahboubi, Arnaud de Mesmay, Marie-Laure Mugnier, Vivien Quéma, Laurent Réveillère, Claudia Roncancio, Rémi Watrigant.