Narození |
15. března 1968 Orléans |
---|---|
Státní příslušnost | francouzština |
Výcvik |
Normální škola Paris-Diderot University |
Činnosti | Počítačový vědec , inženýr , programátor |
Pracoval pro | University of Paris , College of France |
---|---|
Oblasti | IT , funkční programování |
Člen | Sdružení pro výpočetní techniku |
Dozorce | Gerard Huet |
webová stránka | xavierleroy.org |
Ocenění |
Xavier Leroy (narozen dne15. března 1968) je francouzský počítačový vědec , profesor na Collège de France a dříve ředitel výzkumu v INRIA . Je o něm známo, že je hlavním designérem a vývojářem jazyka Objective Caml .
Xavier Leroy byl přijat v roce 1987 jako student na École normale supérieure (Paříž) , kde studoval matematiku a informatiku. V letech 1989 až 1992 zpracovával disertační práci pod vedením Gérarda Hueta . Xavier Leroy je renomovaný odborník v oblasti funkčních jazyků , jejich psaní a kompilace . V posledních letech také hodně pracoval na formálních metodách, formálních důkazech a certifikované kompilaci. Je zejména v základu projektu CompCert, který vytvořil kompilátor pro jazyk C plně certifikovaný pomocí Coq .
Je také autorem LinuxThreads (in) , který byl před vydáním verze 2.6 jádra Linuxu knihovními vlákny nejpoužívanějšími v systému Linux .
V roce 2007 získal Xavier Leroy cenu Monpetit . V roce 2011 získal cenu Information Science Research Prize jako zástupce projektu CompCert. V roce 2012 získal ocenění „ Microsoft Research Verified Software Milestone Award Citation “, opět jako architekt společnosti CompCert. V roce 2016 mu byla udělena Milnerova cena „jako uznání za jeho vynikající úspěchy v počítačovém programování“, ve stejném roce také získal cenu Van Wijngaarden . V roce 2018 obdržel Grand Prix Inria-Académie des sciences a byl jmenován profesorem na Collège de France na katedře softwarových věd.