Ксавье Лерой | |
---|---|
Xavier Leroy | |
Дата рождения | 15 марта 1968 (50 лет) |
Страна | |
Научная сфера | Математика |
Место работы | Парижский университет |
Альма-матер | Университет Париж Дидро |
Научный руководитель | Жерар Юэ |
Награды и премии |
Премия Мишеля Монпети[fr] (2007) Премия Милнера[en] (2016) Van Wijngaarden Award[d] (2016) |
Сайт | xavierleroy.org |
Ксавье Лерой (англ. Xavier Leroy; род. 15 марта 1968 года) — французский информатик и программист. Известен как основной разработчик системы OCaml. Он старший научный сотрудник (фр. directeur de recherche) французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.
Он является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время он приобрел интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq.
Лерой был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующие потоки пакета в ОС Linux с версиями ядра Linux 2.0[1], 2.2, 2.4. Вместе с ядром Linux 2.6 для замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра.
В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора».[2] В 2016 был удостоен премии Милнера[en] Лондонским королевским обществом.[3]
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .