Открыть главное меню

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

Лесли Лэмпорт
Leslie Lamport
Leslie Lamport.jpg
Дата рождения 7 февраля 1941(1941-02-07) (78 лет)
Место рождения Нью-Йорк
Страна
Научная сфера информатика
Место работы Microsoft
Альма-матер
Учёная степень доктор философии (PhD)
Научный руководитель Ричард Пэлес (англ.)
Известен как LaTeX
Задача византийских генералов
Алгоритм Паксос
Награды и премии
Сайт www.lamport.org
Commons-logo.svg Медиафайлы на Викискладе

Член Национальной академии наук США (2011)[1], Национальной инженерной академии США (1991)[2].

БиографияПравить

Окончил школу в Бронксе (Bronx High School of Science), степень бакалавра по математике получил в Массачусетском технологическом институте в 1960 году. Степени магистра (1963) и доктора философии (1972) получил в Брандейском университете.[3]

С 1970-х годов работал в Массачусетском технологическом институте, SRI International, DEC и Compaq, с 2001 года — сотрудник Microsoft Research.

Исследования Лэмпорта заложили основы теории распределённых систем. Среди самых его знаменитых работ можно назвать:

  • "Time, Clocks, and the Ordering of Events in a Distributed System"[4]. Эта работа получила награду 2000 PODC Influential Paper Award в 2000 г., а в 2007 г. - ACM SIGOPS Hall of Fame Award.
  • "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"[5], давшая определение последовательной консистентности,
  • "The Byzantine Generals' Problem",[6]
  • "Distributed Snapshots: Determining Global States of a Distributed System"[7] и
  • "The Part-Time Parliament".[8]

Премии и наградыПравить

См. такжеПравить

ПримечанияПравить

  1. Leslie B. Lamport  (англ.)
  2. Dr. Leslie B. Lamport  (англ.)
  3. The Writings of Leslie Lamport
  4. Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
  5. Lamport, Leslie. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program (англ.) // IEEE Trans. Comput. (англ.) : journal. — 1979. — Vol. 28, no. 9. — P. 690—691. — ISSN 0018-9340. — DOI:10.1109/TC.1979.1675439.
  6. Lamport, Leslie; Robert Shostak; Marshall Pease. The Byzantine Generals Problem (англ.) // ACM Transactions on Programming Languages and Systems (англ.) : journal. — 1982. — July (vol. 4, no. 3). — P. 382—401. — DOI:10.1145/357172.357176.
  7. Chandy, K. Mani; Leslie Lamport. Distributed Snapshots: Determining Global States of a Distributed System (англ.) // ACM Transactions on Computer Systems (англ.) : journal. — 1985. — February (vol. 3, no. 1). — P. 63—75. — DOI:10.1145/214451.214456.
  8. Lamport, Leslie. The Part-Time Parliament (неопр.) // ACM Transactions on Computer Systems (англ.). — 1998. — May (т. 16, № 2). — С. 133—169. — DOI:10.1145/279227.279229.
  9. 1 2 Премия Тьюринга 2013.
  10. Pease, Marshall; Robert Shostak, Leslie Lamport. Reaching Agreement in the Presence of Faults (англ.) // Journal of the Association for Computing Machinery : journal. — 1980. — April (vol. 27, no. 2).

СсылкиПравить