Xavier Leroy
France · Sur la carte · Développeurs · Naissance en 1968 · 58 ans
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.
Texte issu de Wikipédia, CC BY-SA 4.0
Xavier Leroy : environ 33 lectures par jour, en 8 langues.
Un jour typique, sur 30 jours jusqu'au 1er novembre 2026
Le jour médian de la période comptée : une semaine d'actualité ne peut donc pas le faire bouger. La courbe en dessous montre les 100 derniers jours, un point par jour.
Une erreur ?Médias et musique
Photos 1
À propos de cette personne
Pays
France
Catégorie
Développeurs
Type
Développement logiciel
Statut
En vie
Dates
Naissance en 1968 · 58 ans