Pour les articles homonymes, voir Leroy.
Pour le danseur et chorégraphe, voir Xavier Le Roy
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 |
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.