Лесли Лэмпорт (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]

См. также

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

Примечания