Prix de thèse Gilles Kahn : lauréats 2022

Shares

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.
Posted in Actualité 2022, Actualités, Recherche.