Prix de thèse GPL 2020

Les lauréats du Prix de thèse GPL 2020 ont été invités à présenter leurs travaux lors des journées nationales 2021. Le jury du prix de thèse 2020 était présidé par Pascale Le Gall et Pascal Poizat.

Le Prix de thèse 2020 a été attribué à Benjamin Farinier pour sa thèse intitulée "Procédures de décision pour l'analyse de vulnérabilités", réalisée au CEA LIST sous la direction de Marie-Laure Potet et Sébastien Bardin.

Ses transparents sont disponibles ici.

Le jury a également décerné deux accessits (ex aequo).

Valentin Besnard a reçu un accessit pour sa thèse intitulée "EMI: Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable", réalisée au laboratoire Lab-STICC sous la direction de Philippe Dhaussy, Matthias Brun et Ciprian Teodorov.

Ses transparents sont disponibles ici.

Lélio Brun a reçu un accessit pour sa thèse intitulée "Sémantique Mécanisée et Compilation Vérifiée pour un Langage Synchrone à Flots de Données avec Réinitialisation" réalisée à l'ENS sous la direction de Marc Pouzet et Timothy Bourke.

Ses transparents sont disponibles ici.

Félicitations à tous les lauréats!