Leroy, Xavier

Xavier Leroy
Datum narození 15. března 1968( 1968-03-15 ) [1] (ve věku 54 let)
Místo narození
Země
Vědecká sféra informatika a funkcionální programování
Místo výkonu práce
Alma mater
vědecký poradce Jo, Gerarde
Ocenění a ceny Cena Michela Monpetita [d] ( 2007 ) Milnerova cena [d] ( 2016 ) van Wiingaarden Prize ( 2016 ) Fello ACM ( 2015 ) Velká cena INRIA a Francouzské akademie věd [d] ( 2018 )
webová stránka xavierleroy.org

Xavier Leroy ( fr.  Xavier Leroy ; narozen 15. března 1968 ) je francouzský počítačový vědec a programátor. Známý jako hlavní vývojář systému OCaml .

Senior Research Fellow ( francouzský  directeur de recherche ) francouzské veřejné výzkumné instituce INRIA . Leroy byl přijat na École Normale v Paříži v roce 1987, kde studoval matematiku a informatiku. V letech 1989 až 1992 obhájil doktorskou práci v oboru informatika pod vedením Gérarda Hueta .

Je mezinárodně uznávaným odborníkem na funkcionální programovací jazyky a kompilátory. V poslední době jsem se začal zajímat o formální metody , formální kontroly a certifikované kompilace. Je vedoucím projektu CompCert , který vyvíjí optimalizační kompilátor pro C formálně ověřený v Coq .

Leroy byl také původním autorem LinuxThreads , nejrozšířenějšího balíčku, který implementuje vlákna balíčků v operačním systému Linux s linuxovým jádrem verze 2.0 [3] , 2.2, 2.4. S jádrem Linuxu 2.6 byla zavedena knihovna NPTL , která nahradila LinuxThreads , s mnohem širší podporou od jádra.

V roce 2015 byl prohlášen členem Asociace pro výpočetní techniku ​​„za příspěvky k bezpečným, vysoce účinným funkčním programovacím jazykům a kompilátorům a ověřování kompilátorů“. [4] V roce 2016 mu Royal Society of London udělila Milnerovu cenu . [5]

Poznámky

  1. ↑ Bibliothèque nationale de France identifikátor BNF  (fr.) : Open Data Platform - 2011.
  2. ↑ Kdo je kdo ve Francii  (fr.) - Paříž : 1953. - ISSN 0083-9531 ; 2275-0908
  3. ↑ http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Archivováno 13. srpna 2010 na Wayback Machine "Běží na jakémkoli systému Linux s jádrem 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 > . Získáno 9. prosince 2015. Archivováno 9. prosince 2015 na Wayback Machine . 
  5. ↑ Royal Society Milner Award . Královská společnost. Datum přístupu: 19. listopadu 2015. Archivováno z originálu 6. září 2018.

Odkazy

  Přejděte na položku Wikidata  V sociálních sítích
Tematické stránky