Леруа, Ксавье

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

Примечания

[править | править код]
  1. 1 2 Who's Who in France (фр.) — Paris: 1953. — ISSN 0083-9531; 2275-0908
  2. Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
  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, Архивировано из оригинала 9 декабря 2015, Дата обращения: 9 декабря 2015 Источник. Дата обращения: 12 декабря 2016. Архивировано из оригинала 9 декабря 2015 года..
  5. Royal Society Milner Award. Royal Society. Дата обращения: 19 ноября 2015. Архивировано 6 сентября 2018 года.
  6. CWI Soiree Архивная копия от 25 сентября 2016 на Wayback Machine.