Leroy, Xavier

Xavier Leroy
Születési dátum 1968. március 15.( 1968-03-15 ) [1] (54 évesen)
Születési hely
Ország
Tudományos szféra számítástechnika és funkcionális programozás
Munkavégzés helye
alma Mater
tudományos tanácsadója Igen, Gerard
Díjak és díjak Michel Monpetit-díj [d] ( 2007 ) Milner-díj [d] ( 2016 ) van Wiingaarden-díj ( 2016 ) Fello ACM ( 2015 ) Az INRIA és a Francia Tudományos Akadémia nagydíja [d] ( 2018 )
Weboldal xavierleroy.org

Xavier Leroy ( fr.  Xavier Leroy ; 1968. március 15. ) francia informatikus és programozó. Az OCaml rendszer fő fejlesztőjeként ismert .

Az INRIA francia állami kutatóintézet tudományos főmunkatársa ( francia  directeur de recherche ) . Leroy-t 1987-ben vették fel a párizsi École Normale -be, ahol matematikát és számítástechnikát tanult. 1989-től 1992-ig védte meg Ph.D. értekezését számítástechnikából Gérard Huet irányításával .

A funkcionális programozási nyelvek és fordítók nemzetközileg elismert szakértője. Az utóbbi időben érdeklődtem a formális módszerek , a formális ellenőrzések és a hitelesített összeállítás iránt. Ő a CompCert projekt vezetője , amely a Coq -ban formálisan ellenőrzött C - re optimalizáló fordítót fejleszt .

Leroy volt az eredeti szerzője a LinuxThreads -nek is , amely a legszélesebb körben használt csomag, amely csomagszálakat valósít meg a Linux operációs rendszeren a 2.0 -s [3] , 2.2-es, 2.4- es kernelverziókkal . A Linux 2.6-os kernellel az NPTL könyvtárat vezették be a LinuxThreads helyére , a kernel sokkal szélesebb körű támogatásával.

2015-ben az Association for Computing Machinery tagjává nyilvánították "a biztonságos, rendkívül hatékony funkcionális programozási nyelvek és fordítók fejlesztéséhez, valamint a fordítói ellenőrzéshez való hozzájárulásáért". [4] 2016-ban a Londoni Királyi Társaság Milner-díjjal tüntette . [5]

Jegyzetek

  1. ↑ Bibliothèque nationale de France azonosító BNF  (fr.) : Nyílt adatplatform – 2011.
  2. ↑ Ki kicsoda Franciaországban  (fr.) - Párizs : ​​1953. - ISSN 0083-9531 ; 2275-0908
  3. ↑ http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Archiválva : 2010. augusztus 13. a Wayback Machine -nél "Bármilyen Linux rendszeren fut 2.0.0 kernellel"
  4. ↑ A technológiát a digitális korban előrehaladó számítástechnikai innovációkért elnevezett ACM Fellows , Association for Computing Machinery , 2015 , < http://www.acm.org/press-room/news-releases/2015/fellows-2015 > . Letöltve: 2015. december 9. Archiválva : 2015. december 9. a Wayback Machine -nél . 
  5. ↑ Royal Society Milner-díj . Királyi Társaság. Hozzáférés dátuma: 2015. november 19. Az eredetiből archiválva : 2018. szeptember 6.

Linkek

  Ugrás a Wikidata elemre  A közösségi hálózatokon
Tematikus oldalak