Le prix de thèse Gilles Kahn 2022
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