Лэмпорт, Лесли

Введение
1 Биография
2 Премии и награды
Список литературы

Введение

Лесли Лэмпорт (Leslie Lamport, 7 февраля 1941 года, Нью-Йорк) — американский учёный в области теории вычислительных систем, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX. Его научная деятельность направлена на исследование распределённых систем, темпоральной логики и синхронизации процессов.

1. Биография

Лэмпорт окончил школу в Бронксе (Bronx High School of Science), затем получил титул бакалавра по математике, окончив Массачусетский технологический институт в 1960 году. Поступив в университет Луиса Брандейса (англ.), Лэмпорт получил титулы магистра наук (1963) и доктора философии (1972).[1]

С 1970-х годов Лэмпорт работал в MIT, SRI International, Digital Equipment Corporation и Compaq. В 2001 году он начал заниматься исследованиями в Microsoft Research.

2. Премии и награды

Почётные докторские титулы следующих университетов:

Университет Ренн I (Франция, 2003)

Университет имени Христиана Альбрехта (Германия, 2003)

Федеральная политехническая школа Лозанны (Швейцария, 2004)

Университет Лугано (Швейцария, 2006)

2004 — IEEE Piore Award

2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults[2]

Список литературы:

The Writings of Leslie Lamport

Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). “Reaching Agreement in the Presence of Faults”. Journal of the Association for Computing Machinery 27 (2).

Источник: http://ru.wikipedia.org/wiki/Лэмпорт,_Лесли