Xavier Leroy
- Xavier Leroy
-
Pour les articles homonymes, voir
Leroy.
Xavier Leroy (né le 15 mars 1968) est un informaticien français, directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml.
Xavier Leroy a été admis comme élève à l'École normale supérieure (Paris) en 1987, et y a étudié les mathématiques et l'informatique. De 1989 à 1992 il a fait sa thèse de doctorat sous la direction de Gérard Huet. Xavier Leroy est un expert réputé dans le domaine des langages fonctionnels, de leur typage et de leur compilation. Ces dernières années, il a également beaucoup travaillé sur les méthodes formelles, les preuves formelles et la compilation certifiée.
Il est également l'auteur de LinuxThreads, qui était, avant la sortie de la version 2.6 du noyau Linux, la bibliothèque de threads la plus utilisée dans le système Linux.
En 2007, Xavier Leroy est lauréat du Prix Montpetit.
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Xavier Leroy de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Xavier Leroy — (born March 15, 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system. He is senior scientist ( directeur de recherche ) at the French government research… … Wikipedia
Leroy — Cette page d’homonymie répertorie des personnes (réelles ou fictives) partageant un même patronyme. Le patronyme Leroy ou Le Roy (Leroi) indique le vainqueur d un jeu populaire ou une enseigne. (voir aussi : Roy et … Wikipédia en Français
Xavier Le Roy — Pour l informaticien, voir Xavier Leroy Xavier Le Roy Naissance 1963 France Activité principale Chorégraphe Style Dans … Wikipédia en Français
Xavier Noiret-Thome — Xavier Noiret Thomé Xavier Noiret Thomé Xavier Noiret Thomé est un peintre français, né le 2 février 1971 à Charleville Mézières. Sommaire 1 Pa … Wikipédia en Français
Xavier noiret-thomé — Xavier Noiret Thomé est un peintre français, né le 2 février 1971 à Charleville Mézières. Sommaire 1 Pa … Wikipédia en Français
Xavier Pintat — Parlementaire français Date de naissance 15 mars 1954 (1954 03 15) (57 ans) Mandat Député 1993 1997 Sénateur depuis 1998 Circonscription Gironde … Wikipédia en Français
Xavier Darcos — Xavier Darcos, le 28 août 2008. Mandats Ministre du Travail, des Relations sociales, de la Famille, de la Solidarité et de la Ville … Wikipédia en Français
Leroy-Somer — Création 1919 Fondateurs Marcellin Leroy … Wikipédia en Français
Xavier Bertrand — Pour les articles homonymes, voir Bertrand. Xavier Bertrand Xavier Bertrand, le 6 août 2007 … Wikipédia en Français
Maurice Leroy — Pour les articles homonymes, voir Leroy. Maurice Leroy Maurice Leroy, en 2009 … Wikipédia en Français
