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

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 был удостоен премии Милнера Лондонским королевским обществом.

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

Линус Торвальдс фото
Линус Торвальдс75
финский программист, хакер
Ричард Мэттью Столлман фото
Ричард Мэттью Столлман14
программист, основатель движения свободного ПО
Грейс Хоппер фото
Грейс Хоппер10
американский компьютерный учёный и военный деятель, контр-а…
Джон фон Нейман фото
Джон фон Нейман3
венгро-американский математик
Алан Перлис фото
Алан Перлис80
американский учёный в области информатики
Карл Саган фото
Карл Саган20
американский астроном, астрофизик и популяризатор науки
Бьярне Строуструп фото
Бьярне Строуструп9
известный программист и информатик, создатель языка програм…
Дмитрий Сергеевич Лихачёв фото
Дмитрий Сергеевич Лихачёв35
советский и российский филолог, искусствовед, общественный …

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

„Repeat after me: "Obj. magic is not part of the OCaml language."“

—  Xavier Leroy
Sources, Source: Xavier Leroy (2009-10-28), Post to the Caml mailing list, 2009-10-28 http://article.gmane.org/gmane.comp.lang.caml.general/47389,

„I was walking in the city the other day. I saw a syringe lying on the sidewalk. I stuck the needle in my forearm. That was a classy neighborhood, so the use of the syringe seemed justified.“

—  Xavier Leroy
Sources, Source: Xavier Leroy (2005-07-23), Post to the Caml mailing list, 2008-02-20 http://caml.inria.fr/pub/ml-archives/caml-list/2005/07/0d3297c63e4b92fd956ea53d7b9ff255.en.html,

Реклама

„If Bordeaux red wines were carbonated, McDonald's would be a lot more interested in selling them.“

—  Xavier Leroy
Sources, Source: Xavier Leroy (2002-06-20), Post to the Caml mailing list, 2010-08-06 http://caml.inria.fr/pub/ml-archives/caml-list/2002/06/4d57fe13abe8b7823d9c5ca9379d37ce.en.html,

„You see, the Caml garbage collector is like a god from ancient mythology: mighty, but very irritable. If you mess with it, it'll make you suffer in surprising ways.“

—  Xavier Leroy
Sources, Source: Xavier Leroy (2007-11-28), Post to the Caml mailing list, 2007-11-30 http://caml.inria.fr/pub/ml-archives/caml-list/2007/11/d7e444376489e889d3004f6c7d412713.en.html,

„A few programming is taking you away from mathematics; a lot will get you back in.“

—  Xavier Leroy
Sources, Source: Xavier Leroy (2007) Conclusion of his seminar at Collège de France, 2009-03-13 http://www.college-de-france.fr/default/EN/all/inn_tec2007/seminaire_n3_xavier_leroy.htm,

Сегодня годовщина
Вольфганг Амадей Моцарт фото
Вольфганг Амадей Моцарт22
австрийский композитор, скрипач, пианист, органист-виртуоз 1756 - 1791
Дмитрий Иванович Менделеев фото
Дмитрий Иванович Менделеев20
русский учёный-энциклопедист 1834 - 1907
Карл Густав Эмиль Маннергейм фото
Карл Густав Эмиль Маннергейм10
барон, финский военный и государственный деятель 1867 - 1951
Иоганн Готлиб Фихте фото
Иоганн Готлиб Фихте13
немецкий философ 1762 - 1814
Другие 72 годовщин
Подобные авторы
Линус Торвальдс фото
Линус Торвальдс75
финский программист, хакер
Ричард Мэттью Столлман фото
Ричард Мэттью Столлман14
программист, основатель движения свободного ПО
Грейс Хоппер фото
Грейс Хоппер10
американский компьютерный учёный и военный деятель, контр-а…
Джон фон Нейман фото
Джон фон Нейман3
венгро-американский математик