Születés |
1968. március 15 Orléans |
---|---|
Állampolgárság | Francia |
Kiképzés |
Párizs-Diderot Egyetem Normál Iskola |
Tevékenységek | Számítástechnikus , mérnök , programozó |
Dolgozott valakinek | University of Paris , College of France |
---|---|
Területek | Informatika , funkcionális programozás |
Tagja valaminek | Számítástechnikai Gépek Egyesülete |
Felügyelő | Gerard Huet |
Weboldal | xavierleroy.org |
Díjak |
Xavier Leroy (született: 1968. március 15) francia informatikus , a Collège de France professzora és korábban az INRIA kutatási igazgatója . Ismeretes, hogy az Objective Caml nyelv fő tervezője és fejlesztője .
Xavier Leroy-t 1987-ben az École normale supérieure (Párizs) hallgatójaként vették fel , ahol matematikát és informatikát tanult. Tól 1989-es , hogy 1992-ben ő a doktori értekezés felügyelete mellett Gérard Huet . Xavier Leroy a funkcionális nyelvek , gépelésük és összeállításuk terén elismert szakértő . Az elmúlt években rengeteg munkát végzett formális módszerek, hivatalos igazolások és hiteles összeállítás terén is. Ő különösen az alapja a CompCert projekt , amely készített egy fordító a C nyelv teljesen hiteles segítségével Coq .
Ő is a szerzője LinuxThreads (in) , ami, a megjelenése előtt a 2.6-os verzió a Linux kernel , a könyvtár szálak leginkább használt rendszer Linux .
2007-ben Xavier Leroy elnyerte a Monpetit-díjat . 2011-ben elnyerte az Informatikai Kutatási Díjat , a CompCert projekt képviselőjeként. 2012-ben megkapta a „ Microsoft Research Verified Software Milestone Award Citation ” díjat , ismét a CompCert építészjeként. 2016-ban Milner-díjat kapott "a számítógépes programozás terén elért kiemelkedő eredményei elismeréseként", ugyanabban az évben Van Wijngaarden-díjat is kapott . 2018-ban megkapta az Inria-Académie des Sciences Grand Prix-t, és a szoftvertudományi tanszék professzorává nevezték ki a Collège de France-ban.