Prix de thèse du GDR GPL 2022
Pascal Poizat  1  
1 : LIP6
U. Paris-Nanterre, Université Paris IV - Paris Sorbonne

Créé en 2013 pour récompenser chaque année une excellente thèse préparée au sein du GDR GPL, le Prix de thèse du GDR GPL a pour objectif de promouvoir les travaux du GDR GPL auprès de la communauté informatique.


Le prix est décerné par un jury couvrant les thématiques du GDR GPL. Pour l'édition concernant les thèses soutenues en 2022, le jury est présidé par Pascal Poizat et est constitué des membres suivants : R. Ameur-Boulifa, E. Cariou, S. Chabridon, S. Costiou, J. Deantoni, Th. Degueule, D. Delahaye, A. Etien, J.-L. Giavitto, A. Giorgetti, L. Henrio, A. Hurault, N. Kosmatov, R. Laleau, M. Lhommeau, P.-E. Moreau, S. Mosser, A. Noureddine, S. Sadou.

 

Le prix de thèse 2022 a été délivré à Paulo Emilio DE VILHENA pour sa thèse intitulée "Preuves de programmes avec effect handlers" préparée à l'Université Paris Cité / INRIA sous la direction de François Pottier.

 

L'accesit a été délivré à Faezeh KHORRAM pour sa thèse intitulée "A testing framework for executable domain-specific languages" préparée à l'IMT Atlantique / LS2N sous la direction de Gerson Sunyé.

 

 


Personnes connectées : 3 Vie privée
Chargement...