Leroy, Xavier

Xavier Leroy
Data nașterii 15 martie 1968( 15-03-1968 ) [1] (54 de ani)
Locul nașterii
Țară
Sfera științifică informatică și programare funcțională
Loc de munca
Alma Mater
consilier științific Da, Gerard
Premii și premii Premiul Michel Monpetit [d] ( 2007 ) Premiul Milner [d] ( 2016 ) Premiul van Wiingaarden ( 2016 ) Fello ACM ( 2015 ) Marele Premiu al INRIA și al Academiei Franceze de Științe [d] ( 2018 )
Site-ul web xavierleroy.org

Xavier Leroy ( fr.  Xavier Leroy ; născut la 15 martie 1968 ) este un informatician și programator francez. Cunoscut ca dezvoltator principal al sistemului OCaml .

Senior Research Fellow ( director de cercetare francez) al instituției publice de cercetare franceză  INRIA . Leroy a fost admis la École Normale din Paris în 1987, unde a studiat matematica și informatica. Din 1989 până în 1992 şi-a susţinut teza de doctorat în informatică sub îndrumarea lui Gérard Huet .

Este un expert recunoscut la nivel internațional în limbaje și compilatoare funcționale de programare. În ultimul timp m-am interesat de metodele formale, verificările formale și compilarea certificată. El este șeful proiectului CompCert , care dezvoltă un compilator de optimizare pentru C verificat oficial în Coq .

Leroy a fost, de asemenea, autorul original al LinuxThreads , cel mai utilizat pachet care implementează fire de pachete pe sistemul de operare Linux cu versiunile de kernel Linux 2.0 [3] , 2.2, 2.4. Cu nucleul Linux 2.6, biblioteca NPTL a fost introdusă pentru a înlocui LinuxThreads , cu suport mult mai larg din partea nucleului.

În 2015, a fost declarat membru al Asociației pentru Mașini de Calcul „pentru contribuțiile la limbaje și compilatoare funcționale securizate, foarte eficiente și pentru verificarea compilatorului”. [4] În 2016 a fost distins cu Premiul Milner către Societatea Regală din Londra . [5]

Note

  1. ↑ Bibliothèque nationale de France identificator BNF  (fr.) : Open Data Platform - 2011.
  2. ↑ Who's Who in France  (fr.) - Paris : 1953. - ISSN 0083-9531 ; 2275-0908
  3. ↑ http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Arhivat 13 august 2010 la Wayback Machine „Rulează pe orice sistem Linux cu kernel 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 > . Consultat la 9 decembrie 2015. Arhivat la 9 decembrie 2015 la Wayback Machine . 
  5. ↑ Premiul Milner al Societății Regale . Societatea regală. Data accesului: 19 noiembrie 2015. Arhivat din original pe 6 septembrie 2018.

Link -uri

  Accesați articolul Wikidata  În rețelele sociale
Site-uri tematice