Лерой, Ксавье
Лерой, Ксавье
Ксавье Леруа (фр. Xavier Leroy; род. 15 марта 1968 года) — французский информатик и программист. Известен как основной разработчик системы OCaml.
Старший научный сотрудник (фр. directeur de recherche) французского государственного научно-исследовательского учреждения INRIA. Леруа был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.
Является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время приобрёл интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq.
Леруа был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующего потоки пакета в ОС Linux с версиями ядра Linux 2.0[1], 2.2, 2.4. Вместе с ядром Linux 2.6 в качестве замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра.
В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора».[2] В 2016 был удостоен премии Милнера[en] британским Лондонским королевским обществом[3] и премии ван Вейнгаардена нидерландским Центром математики и информатики[4].
Примечания[править]
- ↑ 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, <http://www.acm.org/press-room/news-releases/2015/fellows-2015>. Проверено 9 декабря 2015. Архивная копия от 9 декабря 2015 на Wayback Machine.
- ↑ Royal Society Milner Award. Royal Society. Проверено 19 ноября 2015.
- ↑ CWI Soiree Архивная копия от 25 сентября 2016 на Wayback Machine.
Ссылки[править]
- Xavier Leroy’s home page
- Curriculum vitae
- Лерой, Ксавье(англ.) в проекте «Математическая генеалогия»
Одним из источников этой статьи является статья в википроекте «Рувики» («Багопедия», «ruwiki.ru») под названием «Лерой, Ксавье», находящаяся по адресу:
«https://ru.ruwiki.ru/wiki/Лерой,_Ксавье» Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. |