Ксавье Лерой
Ксавье Лерой | |
|---|---|
 Лерой в 2010 году | |
| Рожденный | 15 марта 1968 г. |
| Национальность | Французский |
| Альма-матер | Парижский университет Дидро |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Диссертация | Полиморфная типизация алгоритмического языка (1992) |
| Докторантура | Жерар Юэ |
Ксавье Лерой (родился 15 марта 1968 г.) — французский ученый-компьютерщик и программист . Он наиболее известен своей ролью основного разработчика системы OCaml . Он Профессор кафедры программного обеспечения в Коллеж де Франс . До своего назначения в Коллеж де Франс в 2018 году он был старшим научным сотрудником ( directeur de recherche ) во французском государственном научно-исследовательском институте Inria . [1]
В 1987 году Лерой был принят в Высшую нормальную школу в Париже, где изучал математику и информатику. С 1989 по 1992 год он защитил докторскую диссертацию по информатике под руководством Жерара Юэ .
Он является всемирно признанным экспертом по функциональным языкам программирования и компиляторам. В последние годы он заинтересовался формальными методами , формальными доказательствами и сертифицированной компиляцией. Он является руководителем проекта CompCert , разрабатывающего оптимизирующий компилятор для языка программирования C , формально проверенный в Coq .
Лерой также был первоначальным автором LinuxThreads , наиболее широко используемого пакета потоковой обработки для версий Linux до 2.6. [ сломанный якорь ] . Линукс 2.6 [ сломанный якорь ] представил NPTL с гораздо более обширной поддержкой ядра, чтобы заменить LinuxThreads.
В 2015 году он был назван членом Ассоциации вычислительной техники «за вклад в создание безопасных, высокопроизводительных функциональных языков программирования и компиляторов, а также за проверку компиляторов». [2] Он был награжден премией Милнера 2016 года от Королевского общества . [3] 2021 года премия ACM Software System , [4] и награда ACM SIGPLAN 2022 года за достижения в области языков программирования .
Ссылки
[ редактировать ]- ^ «Ксавье Леруа назначен членом Французской академии наук: жизнь, посвященная информатике» . Инрия . 21 февраля 2023 г.
- ^ Стипендиаты ACM названы в честь компьютерных инноваций, способствующих развитию технологий в эпоху цифровых технологий , Ассоциация вычислительной техники , 2015 г. , получено 9 декабря 2015 г.
- ^ «Премия Королевского общества Милнера» . Королевское общество . Проверено 19 ноября 2015 г.
- ^ «Ксавье Лерой» . Награды.acm.org . Проверено 13 мая 2022 г.
Внешние ссылки
[ редактировать ]
ML- программирование |
|---|
 | Эта статья о французском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- 1968 года рождения
- Живые люди
- Выпускники Высшей нормальной школы
- Программисты
- Французские ученые-компьютерщики
- Исследователи языков программирования
- Разработчики языков программирования
- Члены Ассоциации вычислительной техники 2015 г.
- Академический состав Коллеж де Франс
- Незавершенные статьи о европейских компьютерных специалистах