Ksawerego Leroya

Xavier Leroy
Leroy w 2010 roku
Urodzić się	( 15.03.1968 ) 15 marca 1968
Narodowość	Francuski
Alma Mater	Paryski Uniwersytet Diderota
Kariera naukowa
Pola	Informatyka
Instytucje	Collège de France Inria
Praca dyplomowa	Typowanie polimorficzne języka algorytmicznego (1992)
Doradca doktorski	Gerarda Hueta

Xavier Leroy (urodzony 15 marca 1968) to francuski informatyk i programista . Najbardziej znany jest z roli głównego programisty systemu OCaml . Jest profesorem nauk o oprogramowaniu w Collège de France . Przed powołaniem do Collège de France w 2018 roku był starszym pracownikiem naukowym ( directeur de recherche ) we francuskiej rządowej instytucji badawczej Inria .

Leroy został przyjęty do École normale supérieure w Paryżu w 1987 roku, gdzie studiował matematykę i informatykę. W latach 1989-1992 obronił doktorat z informatyki pod kierunkiem Gérarda Hueta .

Jest uznanym na całym świecie ekspertem w zakresie funkcjonalnych języków programowania i kompilatorów. W ostatnich latach zainteresował się metodami formalnymi , dowodami formalnymi i kompilacją poświadczoną. Jest liderem projektu CompCert , który rozwija kompilator optymalizacyjny dla języka C (język programowania) , formalnie zweryfikowany w Coq .

Leroy był także oryginalnym autorem LinuxThreads , najczęściej używanego pakietu obsługi wątków dla wersji Linuksa wcześniejszych niż 2.6 . Linux 2.6 wprowadził NPTL , ze znacznie szerszą obsługą jądra, aby zastąpić LinuxThreads.

W 2015 roku został mianowany członkiem Association for Computing Machinery „za wkład w bezpieczne, wydajne funkcjonalne języki programowania i kompilatory oraz za weryfikację kompilatorów”. W 2016 roku otrzymał nagrodę Milner Award przyznawaną przez Royal Society , nagrodę ACM Software System Award 2021 oraz nagrodę ACM SIGPLAN Programming Languages ​​Achievement Award 2022 .

Linki zewnętrzne

• Strona domowa Xaviera Leroya