Remise du prix de thèse GPL 2016

Cette année, le jury du prix de thèse du GDR GPL a examiné un nombre record de soumissions (20). A l'issue de ce concours de haut niveau, quatre candidats ont été distingués. Catherine Dubois, Présidente du jury, a remis leurs prix aux lauréats à l'occasion des journées GPL2017. 

Le prix a été attribué à Jacques-Henri Jourdan pour sa thèse intitulée "Verasco: a Formally Verified C Static Analyzer ", préparée à INRIA Paris sous la direction scientifique de Xavier Leroy. Il a présenté ses travaux aux participants des journées nationales et ses transparents sont disponibles ici.

Le jury a également décidé d'attribuer 3 accessits à (dans l'ordre alphabétique) :

- Antoine Delignat-Lavaud, pour sa thèse intitulée "On the Security of Authentification Protocols for the Web", préparée à INRIA Paris sous la direction scientifique de Karthikeyan Bhargavan,

- Maria Gomez, pour sa thèse intitulée "Towards Improving the Quality of Mobile Applications by Leveraging Crowdsourced Feedback", préparée à INRIA Lille sous la direction scientifique de Romain Rouvoy et Lionel Seinturier,

- Jabier Martinez, pour sa thèse intitulée "Mining Software Artifact Variants for Product Line Migration and Analysis", préparée à  l'université Pierre et Marie Curie et à l'université du Luxembourg, sous la direction scientifique de Yves Le Traon, Mikal Ziane et Tewfik Ziadi.

Félicitations à tous ces lauréats!