Леруа, Ксавье
Ксавье Леруа | |
---|---|
![]() | |
Дата рождения | 15 марта 1968[1] (56 лет) |
Место рождения | |
Страна | |
Род деятельности | специалист в области информатики, инженер, программист, преподаватель университета |
Научная сфера | информатика и функциональное программирование |
Место работы | |
Альма-матер | |
Научный руководитель | Жерар Юэ |
Награды и премии |
премия Мишеля Монпети[вд] (2007) премия Милнера[вд] (2016) премия ван Вейнгаардена[вд] (2016) Фелло ACM (2015) Большая премия INRIA и Французской академии наук[вд] (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 был удостоен премии Милнера[англ.] британским Лондонским королевским обществом[5] и премии ван Вейнгаардена нидерландским Центром математики и информатики[6].
Примечания
[править | править код]- ↑ 1 2 Who's Who in France (фр.) — Paris: 1953. — ISSN 0083-9531; 2275-0908
- ↑ Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
- ↑ 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, Архивировано из оригинала 9 декабря 2015, Дата обращения: 9 декабря 2015 Источник . Дата обращения: 12 декабря 2016. Архивировано из оригинала 9 декабря 2015 года..
- ↑ Royal Society Milner Award . Royal Society. Дата обращения: 19 ноября 2015. Архивировано 6 сентября 2018 года.
- ↑ CWI Soiree Архивная копия от 25 сентября 2016 на Wayback Machine.
Ссылки
[править | править код]- Xavier Leroy’s home page
- Curriculum vitae
- Леруа, Ксавье (англ.) в проекте «Математическая генеалогия»
- Родившиеся 15 марта
- Родившиеся в 1968 году
- Родившиеся в Орлеане
- Преподаватели Парижского университета
- Сотрудники Коллеж де Франс
- Выпускники Высшей нормальной школы (Париж)
- Действительные члены Ассоциации вычислительной техники
- Персоналии по алфавиту
- Учёные по алфавиту
- Программисты по алфавиту
- Учёные в области информатики Франции
- Создатели языков программирования
- Программисты Франции