Xavier Leroy
informaticien français / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Xavier Leroy?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Leroy.
Pour le danseur et chorégraphe, voir Xavier Le Roy
Xavier Leroy (né le ) 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.
Faits en bref Naissance, Nationalité ...
Xavier Leroy
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour |
Institut national de recherche en informatique et en automatique (France) (d) ( - Inria Collège de France Université de Paris |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Distinctions | Liste détaillée |
Fermer