Sites Inria

Il y a 1 Résultats avec le mot clé : "centre de recherche Inria Paris-Rocquencourt"

Prix et distinction

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a reçu le Royal Society Milner Award 2016 en reconnaissance de ses recherches sur le langage OCaml de programmation fonctionnelle et sur la vérification formelle de compilateurs. Ce prix, créé en hommage au professeur Robin Milner, récompense un chercheur européen pour sa contribution exceptionnelle en informatique.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy, Royal Society Milner Award 2016

Lire la suite

Haut de page

Suivez Inria