Etienne Miquey , post-doctorant au sein de l’équipe-projet Gallinette remporte le “Kleene Award “.
Ce prix lui sera remis lors de la conférence LIC’S (Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science) début juillet 2018.
Il vient récompenser l’article de recherche intitulé “A sequent calculus with dependent types for classical arithmetic “.
Chaque année, un prix en l’honneur du défunt S.C. Kleene est décerné pour le meilleur article étudiant accepté lors de la conférence LIC’S.