Les lauréats du Prix GDR GPL 2016

Le jury du Prix GDR GPL, présidé par Catherine Dubois, a décidé d’attribuer le Prix GDR GPL 2016 à 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.

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.


Le prix et les accessits ont été remis lors des journées nationales 2017