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

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Ксавье Лерой»)
Перейти к навигации Перейти к поиску
Ксавье Лерой
Xavier Leroy
Дата рождения 15 марта 1968(1968-03-15) (51 год)
Страна
Научная сфера Математика
Место работы Парижский университет
Альма-матер Университет Париж Дидро
Научный руководитель Жерар Юэ
Награды и премии Премия Мишеля Монпети[fr] (2007)
Премия Милнера[en] (2016)
Prix Van Wijngaarden[fr] (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]

Примечания[править | править код]

  1. http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Архивная копия от 13 августа 2010 на Wayback Machine «It runs on any Linux system with kernel 2.0.0»
  2. 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.
  3. Royal Society Milner Award. Royal Society. Дата обращения 19 ноября 2015.

Ссылки[править | править код]