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

Лесли Лэмпорт
Leslie Lamport
Дата рождения:	7 февраля 1941(1941-02-07) (71 год)
Место рождения:	Нью-Йорк
Страна:	США
Научная сфера:	информатика
Место работы:	Microsoft
Учёная степень:	доктор философии (PhD)
Альма-матер:	Брандейский университет
Научный руководитель:	Richard Palais
Известен как:	LaTeX
Награды и премии	Премия Дейкстры, Медаль Джона фон Неймана
Сайт:	www.lamport.org

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

Биография

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

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

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

• Почётные докторские титулы следующих университетов:
  • Университет Ренн I (Франция, 2003)
  • Университет имени Христиана Альбрехта (Германия, 2003)
  • Федеральная политехническая школа Лозанны (Швейцария, 2004)
  • Университет Лугано (Швейцария, 2006)
• 2004 — IEEE Piore Award
• 2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults^[2]

См. также

• Временные метки Лампорта
• Алгоритм Паксос
• Задача византийских генералов

Примечания

1. ↑ The Writings of Leslie Lamport
2. ↑ Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). “Reaching Agreement in the Presence of Faults”. Journal of the Association for Computing Machinery 27 (2). Проверено 2007-02-02.

Ссылки

• lamport.org — официальный сайт Лесли Лэмпорта