Xavier Leroy

Pays :France
Langue :français
Note :
Docteur en informatique. - Ancien élève de l'École normale supérieure. - Chercheur invité à l'Université de Stanford, Californie (en 1993)
ISNI :ISNI 0000 0001 1455 6489

Ses activités

Auteur du texte4 documents

  • Le langage Caml

    Description matérielle : XIII-407 p.
    Description : Note : Index
    Édition : Paris : InterÉd. , 1993
    Autre auteur du texte : Pierre Weis

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb35595594j]
  • Le langage Caml

    Description matérielle : XIII-407 p.
    Description : Note : Index
    Édition : Paris : InterÉd. , 1996
    Autre auteur du texte : Pierre Weis

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37498703s]
  • Le langage Caml

    2e éd.
    Description matérielle : XII-370 p.
    Description : Note : La couv. porte en plus : "1er et 2e cycles, écoles d'ingénieurs". - Index
    Édition : Paris : Dunod , 1999
    Autre auteur du texte : Pierre Weis

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb370487690]
  • Manuel de référence du langage Caml

    Description matérielle : X-166 p.
    Description : Note : Bibliogr. p. 155-159. Index
    Édition : Paris : InterÉd. , 1993
    Autre auteur du texte : Pierre Weis

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb355952534]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Le langage Caml / Pierre Weis, Xavier Leroy, 1993

Biographie Wikipedia

  • 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 notamment à la base du projet CompCert qui a réalisé un compilateur pour le Langage C entièrement certifié à l'aide de Coq.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 Monpetit. En 2011, il est lauréat du prix La Recherche en sciences de l'information, en tant que représentant du projet CompCert. En 2012, il reçoit le prix "Microsoft Research Verified Software Milestone Award Citation", là encore en tant qu'architecte de CompCert.

Pages équivalentes