Retour
Lire l’article sur Wikipédia
Commune1/1Libre
Sciences · 1968
Xavier Leroy
Aura
44,1 k
N° 219 378
Touche la carte pour la faire tourner.
Commune
Xavier Leroy
Informaticien français
1/1Un exemplaire au monde.
Statut
Libre. Elle peut sortir de ton prochain booster.
- Aura (depuis 2015)
- 44 097
- Rang de la carte
- N° 219 378
- Type
- Personnalité
- Naissance
- 15 mars 1968
Extrait.
Xavier Leroy (né le 15 mars 1968) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml ainsi que pour ses travaux sur le compilateur formellement vérifié CompCert.
Crédits
Illustration
- Auteur
- David Van Horn
- Licence
- CC BY 2.0
- Source
- Xavier Leroy.jpg · Wikimedia Commons
- Modifications
- Recadrage et effets visuels Devon (cadre, reflets holographiques).
Texte
Résumé et adapté de l’article « Xavier Leroy », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.