Xavier Leroy

Xavier Leroy

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 institution INRIA.

Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet.

He is an internationally recognized expert on functional programming languages and compilers. In recent years, he has taken an interest in formal methods, formal proofs and certified compilation.

Leroy was also the original author of LinuxThreads, the most widely-used threading package for Linux versions prior to 2.6. Linux 2.6 introduced NPTL, with much more extensive support from the kernel, to replace LinuxThreads.

External links

* [http://gallium.inria.fr/~xleroy/ Xavier Leroy's home page]
* [http://gallium.inria.fr/~xleroy/cv-eng.html Curriculum vitae]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Xavier Leroy — Pour les articles homonymes, voir Leroy.  Pour le danseur et chorégraphe, voir Xavier Le Roy Xavier Leroy (né le 15 mars 1968) est un informaticien français, directeur de recherche à l INRIA. Il est connu pour être le principal conc …   Wikipédia en Français

  • 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

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”