tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Titre :
Xavier Leroy : Grand Prix Inria – Académie des sciences 2018
Légende - Résumé :
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.
Avec Sébastien Candel, président de l'Académie des sciences, et Bruno Sportisse, PDG d'Inria.
Nom de fichier :
Inria-0296-303.jpg
Titre :
Xavier Leroy : Grand Prix Inria – Académie des sciences 2018
Mention obligatoire :
© Inria / Photo G. Scagnelli
Année :
2018
Type de document :
Événementiel
Mots clés :
Inria-0296-303.jpg

Format : .jpg
4,7 Mo
3704 x 2469 pixels
Fichier original
Inria-0296-303.jpg
Format : .jpg
516 Ko
1024 x 683 pixels
Basse définition Web
Sélection
Voir Selection
Déposer ici pour retirer de la sélection