Mickaël Laurent, ancien doctorant du LMF et de l'IRIF, encadré par Giuseppe Castagna et Kim Nguyễn, a reçu le prix de thèse du GdR Génie de la Programmation et du Logiciel, décerné le 19 juin lors des journées nationales du GdR.
Sa thèse est intitulée Inférence de types polymorphes pour des langages dynamiques : reconstruction de types pour des systèmes combinant polymorphisme paramétrique, surcharge et sous-typage”. Félicitations à Mickaël pour son excellent travail !
(photo avec l'autorisation des personnes, de gauche à droite Anouck Chan, première accessit, Pascal Poizat, co-président du jury et Mickaël)
Plus d'informations sur le site du GdR.