Sites Inria

Il y a 1 Résultats avec le mot clé : "logiciel critique"

Xavier Leroy Xavier Leroy

Distinction

Prix La Recherche 2011

4/11/2011

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a obtenu le prix La Recherche 2011 en sciences de l'information le 18 octobre dernier aux côtés de Sandrine Blazy (université de Rennes, EPI Celtique), Zaynah Dargaye (maintenant au CEA), Jean-Baptiste Tristan (actuellement à Harvard). Récompensant ainsi leurs travaux sur la vérification formelle de compilateurs réalistes. 

Mots-clés :

Accueil > Centre > Paris > Actualités > Prix La Recherche 2011

Lire la suite

Haut de page

Suivez Inria