 | Тема этой статьи может не соответствовать общему руководству Википедии о известности . ( февраль 2021 г. ) (Узнайте, как и когда удалить этот шаблон сообщения ) |
Ксавье Леруа | |
|---|---|
| Родившийся | 15 марта 1968 г. |
| Национальность | Французский |
| Альма-матер | Парижский университет Дидро |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Докторант | Жерар Юэ |
Ксавье Леруа (родился 15 марта 1968 года) - французский ученый-компьютерщик и программист . Он наиболее известен своей ролью основного разработчика системы OCaml . Он профессор кафедры программного обеспечения в Коллеж де Франс . До своего назначения в Collège de France в 2018 году он был старшим научным сотрудником ( directeur de recherche ) во французском правительственном исследовательском учреждении Inria .
В 1987 году Леруа приняли в Высшую нормальную школу в Париже, где он изучал математику и информатику. С 1989 по 1992 год он защитил докторскую диссертацию по информатике под руководством Жерара Юэ .
Он является всемирно признанным экспертом по языкам функционального программирования и компиляторам. В последние годы он заинтересовался формальными методами , формальными доказательствами и сертифицированной компиляцией. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для C (язык программирования) , формально проверенный в Coq .
Лерой был также первым автором LinuxThreads , наиболее широко используемого пакета потоковой обработки для версий Linux до 2.6 . Linux 2.6 представил NPTL с гораздо более широкой поддержкой ядра, чтобы заменить LinuxThreads.
В 2015 году он был назван парнем из Ассоциации вычислительной техники «за вклад в сейф, высокопроизводительных языки функционального программирования и компилятор, а также проверки компилятора.» [1] Он был награжден в 2016 году Милнер награды от Королевского общества . [2]
Ссылки [ править ]
- ^ Стипендиаты ACM, названные для компьютерных инноваций, которые продвигают технологии в цифровую эпоху , Association for Computing Machinery , 2015 , получено 2015-12-09.
- ^ "Премия Королевского общества Милнера" . Королевское общество . Проверено 19 ноября 2015 года .
Внешние ссылки [ править ]
 | В Wikiquote есть цитаты, связанные с: Ксавье Леруа |
- Домашняя страница Ксавье Леруа
- Ксавье Лерой на проекте « Математическая генеалогия»
