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

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