Ксавье Лерой цитаты

0   0

Ксавье Лерой

Дата рождения: 15. Март 1968

Реклама

Ксавье Лерой — французский информатик и программист. Известен как основной разработчик системы OCaml. Он старший научный сотрудник французского государственного научно-исследовательского учреждения INRIA. Лерой был принят в Эколь Нормаль в Париже в 1987 году, где он изучал математику и информатику. С 1989 по 1992 он защитил кандидатскую диссертацию в области компьютерных наук под руководством Жерара Юэ.

Он является международно признанным экспертом по языкам и компиляторам функционального программирования. В последнее время он приобрел интерес к формальным методам, формальным проверкам и сертифицированной компиляции. Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq.

Лерой был также оригинальным автором LinuxThreads, наиболее широко используемого пакета, реализующие потоки пакета в ОС Linux с версиями ядра Linux 2.0, 2.2, 2.4. Вместе с ядром Linux 2.6 для замены LinuxThreads была введена библиотека NPTL, с гораздо более широкой поддержкой со стороны ядра.

В 2015 был объявлен действительным членом Ассоциации вычислительной техники «за вклад в безопасные, высокоэффективные функциональные языки программирования и компиляторы, и верификацию компилятора». В 2016 был удостоен премии Милнера Лондонским королевским обществом.

Подобные авторы

Линус Торвальдс фото
Линус Торвальдс65
финский программист, хакер
Ричард Мэттью Столлман фото
Ричард Мэттью Столлман11
программист, основатель движения свободного ПО
Грейс Хоппер фото
Грейс Хоппер10
американский компьютерный учёный и военный деятель, контр...
Карл Саган фото
Карл Саган19
американский астроном, астрофизик и популяризатор науки
Бьярне Строуструп фото
Бьярне Строуструп9
известный программист и информатик, создатель языка прогр...
Дмитрий Сергеевич Лихачёв фото
Дмитрий Сергеевич Лихачёв34
советский и российский филолог, искусствовед, общественны...
 Аристотель фото
Аристотель205
древнегреческий философ, ученик Платона
Лев Николаевич Гумилёв фото
Лев Николаевич Гумилёв11
советский историк-этнолог, археолог, востоковед, писатель...
Жюль Анри Пуанкаре фото
Жюль Анри Пуанкаре20
французский математик, физик, астроном и философ
Марк Цукерберг фото
Марк Цукерберг17
американский программист и предприниматель в области инте...

Цитаты Ксавье Лерой

Реклама

Help us translate English quotes

Discover interesting quotes and translate them.

Translate quotes
Сегодня годовщина
Ангела Меркель фото
Ангела Меркель25
Действующий федеральный канцлер Германии 1954
Исмаил I фото
Исмаил I33
шахиншах Азербайджана и Ирана, полководец и поэт, основат... 1487 - 1524
Николай II фото
Николай II12
император России 1868 - 1918
Александра Фёдоровна (жена Николая II) фото
Александра Фёдоровна (жена Николая II)20
российская императрица, супруга Николая II 1872 - 1918
Другие 67 годовщин
Подобные авторы
Линус Торвальдс фото
Линус Торвальдс65
финский программист, хакер
Ричард Мэттью Столлман фото
Ричард Мэттью Столлман11
программист, основатель движения свободного ПО
Грейс Хоппер фото
Грейс Хоппер10
американский компьютерный учёный и военный деятель, контр...
Карл Саган фото
Карл Саган19
американский астроном, астрофизик и популяризатор науки
Бьярне Строуструп фото
Бьярне Строуструп9
известный программист и информатик, создатель языка прогр...