Prix de thèse GPL2023

Le jury du prix de thèse du GDR GPL, présidé par Pascal Poizat, a attribué un prix de thèse et deux accessits.

Le prix de thèse GPL 2023 est attribué à Xavier Denis pour sa thèse intitulée "Deductive Verification for Rust Programs".

Ses transparents sont disponibles ici.

Les accessits sont attribués à

• Sylvain Guérin pour sa thèse intitulée "FML : un langage de fédération de modèles pour l’interopérabilité sémantique de sources d’information hétérogènes";
  Ses transparents sont disponibles ici.

• Youcef Remil pour sa thèse intitulée "A Data Mining Perspective on Explainable AIOps with Applications to Software Maintenance";
  Ses transparents sont disponibles ici.
  (Youcef Remil était présent à distance)

Félicitations aux lauréats!