Sites Inria

Il y a 3 Résultats avec le mot clé : "CompCert"

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

© Collège de France - Patrick Imbert

Prix Inria 2018

Xavier Leroy : Grand Prix – Académie des sciences

En novembre 2018, Xavier Leroy a fait son entrée au Collège de France sur la chaire de Sciences du Logiciel. Une belle reconnaissance pour celui qui a été l'architecte de deux grandes réussites made in Inria : le langage de programmation fonctionnel OCaml et le compilateur formellement vérifié CompCert.

Mots-clés :

Accueil > Institut > Inria en bref > Prix Inria par année > Lauréats 2018 > Xavier Leroy : Grand Prix

Lire la suite

Séminaire

Séminaire Gallium

8/07/2019

Lieu : Inria de Paris - Salle JLL1

Intervenant(s) : Cyril Six

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria