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.
Nom de fichier :
Inria-0296-299.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-299.jpg

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