Лерой, Ксавье

Ксавье Лерой
Ксавье Лерой
Дата рождения	15 марта 1968(1968-03-15) (54 года)
Место рождения	Орлеан;
Страна	Франция;
Научная сфера	информатика и функциональное программирование
Место работы	Парижский университет; Коллеж де Франс; INRIA;
Альма-матер	Высшая нормальная школа; Университет Париж Дидро;
Научный руководитель	Юэ, Жерар
Награды и премии	премия Мишеля Монпети[d] (2007) премия Милнера[d] (2016) премия ван Вейнгаардена[d] (2016) Фелло ACM (2015) Большая премия INRIA и Французской академии наук[d] (2018)
Сайт	xavierleroy.org

Ксавье Леруа (фр. Xavier Leroy; род. 15 марта 1968 года) — французский информатик и программист. Известен как основной разработчик системы OCaml.

Старший научный сотрудник (фр. directeur de recherche) французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.

Является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время приобрёл интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq.

Лерой был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующие потоки пакета в ОС Linux с версиями ядра Linux 2.0^[3], 2.2, 2.4. Вместе с ядром Linux 2.6 для замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра.

В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора».^[4] В 2016 был удостоен премии Милнера^[en] британским Лондонским королевским обществом^[5] и премии ван Вейнгаардена нидерландским Центром математики и информатики^[6].

ПримечанияПравить

↑ Bibliothèque nationale de France идентификатор BNF (фр.): платформа открытых данных — 2011.
↑ Who's Who in France (фр.) — Paris: 1953. — ISSN 0083-9531; 2275-0908
↑ http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Архивная копия от 13 августа 2010 на Wayback Machine «It runs on any Linux system with kernel 2.0.0»
↑ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, <http://www.acm.org/press-room/news-releases/2015/fellows-2015>. Проверено 9 декабря 2015. Архивная копия от 9 декабря 2015 на Wayback Machine.
↑ Royal Society Milner Award (неопр.). Royal Society. Дата обращения: 19 ноября 2015. Архивировано 6 сентября 2018 года.
↑ CWI Soiree Архивная копия от 25 сентября 2016 на Wayback Machine.

СсылкиПравить

Xavier Leroy’s home page
Curriculum vitae
Лерой, Ксавье (англ.) в проекте «Математическая генеалогия»

[_d53fa6f856542a1e-1] Bibliothèque nationale de France идентификатор BNF (фр.): платформа открытых данных — 2011.

[_f10eabd767c67690-2] Who's Who in France (фр.) — Paris: 1953. — ISSN 0083-9531; 2275-0908

[3] ttp://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Архивная копия от 13 августа 2010 на Wayback Machine «It runs on any Linux system with kernel 2.0.0»

[4] ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, <http://www.acm.org/press-room/news-releases/2015/fellows-2015>. Проверено 9 декабря 2015. Архивная копия от 9 декабря 2015 на Wayback Machine.

[5] Royal Society Milner Award (неопр.). Royal Society. Дата обращения: 19 ноября 2015. Архивировано 6 сентября 2018 года.

[6] CWI Soiree Архивная копия от 25 сентября 2016 на Wayback Machine.

[1]

[2]

[3]

[4]

[5]

[6]

Ксавье Лерой

Дата рождения	15 марта 1968(1968-03-15)^[1] (54 года)
Место рождения	Орлеан^[2]
Страна	Франция
Научная сфера	информатика и функциональное программирование
Место работы	Парижский университет Коллеж де Франс INRIA
Альма-матер	Высшая нормальная школа Университет Париж Дидро
Научный руководитель	Юэ, Жерар
Награды и премии	премия Мишеля Монпети^[d] (2007) премия Милнера^[d] (2016) премия ван Вейнгаардена^[d] (2016) Фелло ACM (2015) Большая премия INRIA и Французской академии наук^[d] (2018)
Сайт	xavierleroy.org