Prix de thèse GPL2021

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 2021 du GDR GPL est attribué à Antoine Pietri (Software Heritage/Inria) pour sa thèse intitulée "Analyse du graphe de développement logiciel mondial" (transparents)

Les accessits sont attribués à

• Victor Lanvin (IRIF/Université Paris-Cité) pour sa thèse intitulée "Types ensemblistes graduels" (transparents)
• Frédéric Recoules (CEA List et Vérimag/Université Grenoble Alpes) pour sa thèse intitulée "Automatic verification of low-level code C: assembly and binary" (transparents).