Leroy, Xavier

Xavier Leroy
Födelsedatum 15 mars 1968( 1968-03-15 ) [1] (54 år)
Födelseort
Land
Vetenskaplig sfär datavetenskap och funktionell programmering
Arbetsplats
Alma mater
vetenskaplig rådgivare Jo, Gerard
Utmärkelser och priser Michel Monpetit-priset [d] ( 2007 ) Milnerpriset [d] ( 2016 ) van Wiingaarden Prize ( 2016 ) Fello ACM ( 2015 ) INRIA och den franska vetenskapsakademins stora pris [d] ( 2018 )
Hemsida xavierleroy.org

Xavier Leroy ( fr.  Xavier Leroy ; född 15 mars 1968 ) är en fransk datavetare och programmerare. Känd som huvudutvecklaren av OCaml- systemet .

Senior forskare ( franska  directeur de recherche ) vid den franska offentliga forskningsinstitutionen INRIA . Leroy antogs till École Normale i Paris 1987, där han studerade matematik och datavetenskap. Från 1989 till 1992 försvarade han sin doktorsavhandling i datavetenskap under ledning av Gérard Huet .

Han är en internationellt erkänd expert på funktionella programmeringsspråk och kompilatorer. På senare tid har jag intresserat mig för formella metoder , formella kontroller och certifierad sammanställning. Han är chef för CompCert- projektet , som utvecklar en optimerande kompilator för C formellt verifierad i Coq .

Leroy var också den ursprungliga författaren till LinuxThreads , det mest använda paketet som implementerar pakettrådar på Linux-operativsystemet med Linux -kärnversionerna 2.0 [3] , 2.2, 2.4. Med Linux 2.6-kärnan introducerades NPTL- biblioteket för att ersätta LinuxThreads , med mycket bredare stöd från kärnan.

2015 utropades han till Fellow i Association for Computing Machinery "för bidrag till säkra, högeffektiva funktionella programmeringsspråk och kompilatorer, och kompilatorverifiering". [4] 2016 tilldelades han Milnerpriset Royal Society of London . [5]

Anteckningar

  1. ↑ Bibliothèque nationale de France identifier BNF  (fr.) : Open Data Platform - 2011.
  2. ↑ Vem är vem i Frankrike  (fr.) - Paris : 1953. - ISSN 0083-9531 ; 2275-0908
  3. ↑ http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Arkiverad 13 augusti 2010 på Wayback Machine "Den körs på alla Linux-system med kärna 2.0.0"
  4. ↑ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age , Association for Computing Machinery , 2015 , < http://www.acm.org/press-room/news-releases/2015/fellows-2015 > . Hämtad 9 december 2015. Arkiverad 9 december 2015 på Wayback Machine . 
  5. ↑ Royal Society Milner Award . Kungligt samhälle. Datum för åtkomst: 19 november 2015. Arkiverad från originalet den 6 september 2018.

Länkar

  Gå till Wikidata-objektet  I sociala nätverk
Tematiska platser