Les lauréats du Prix de thèse GDR GPL 2018

Le jury du Prix GDR GPL, présidé par Pascale Le Gall, a décidé d’attribuer le Prix de thèse GDR GPL 2018 à Martin Clochard pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels"  réalisée à l'Université Paris-Saclay, sous la direction scientifique de Claude Marché et Andrei Paskevich.

Le jury a également décidé d'attribuer un accessit à Thomas Durieux, pour sa thèse intitulée "From run-time failures to patches: study of patch generation in production" réalisée à l'Université de Lille, sous la direction de Martin Monperrus, Lionel Seinturier et Youssef Hamadi.

Le prix et l’accessit seront remis lors des journées nationales GPL qui auront lieu à Toulouse du 11 au 14 juin 2019 (http://gdr-gpl-2019.enseeiht.fr/), journées auxquelles vous êtes invités à participer.