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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Ксавье Лерой
Xavier Leroy.jpg
Дата рождения 15 марта 1968(1968-03-15)[1] (53 года)
Место рождения
Страна
Научная сфера информатика и функциональное программирование
Место работы
Альма-матер
Научный руководитель Юэ, Жерар
Награды и премии
Сайт 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]

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

  1. Bibliothèque nationale de France идентификатор BNF (фр.): платформа открытых данных — 2011.
  2. Who's Who in France (фр.)Paris: 1953. — ISSN 0083-9531; 2275-0908
  3. http://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.

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