Remise du prix de thèse GPL 2015

 Le Prix de thèse GDR GPL 2015  a été attribué à Mounir Assaf pour sa thèse intitulée "Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés", préparée dans l'équipe commune CIDRE (INRIA, CentraleSupélec, CNRS et Rennes 1) et le Laboratoire de Sûreté des Logiciels au CEA LIST, sous la direction scientifique de Eric Totel ainsi que Julien Signoles et Frédéric Tronel.

Catherine Dubois, présidente du jury du prix de thèse GPL 2015, lui a remis son prix ce jeudi matin.

Mounir Assaf a ensuite présenté ses travaux :

Le jury a également décidé d'attribuer un accessit à Thibaut Antignac pour sa thèse intitulée "Méthodes formelles pour le respect de la vie privée par construction", réalisée au sein de l'équipe Privatics de   Inria Grenoble Rhône-Alpes/CITI lab,  sous la direction scientifique de Daniel Le Métayer.