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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Лесли Лэмпорт
Leslie Lamport
Leslie Lamport.jpg
Дата рождения:

7 февраля 1941(1941-02-07) (76 лет)

Место рождения:

Нью-Йорк

Страна:

США

Научная сфера:

информатика

Место работы:

Microsoft

Альма-матер:

Брандейский университет

Учёная степень:

доктор философии (PhD)

Научный руководитель:

Ричард Пэлес (англ.)

Известен как:

LaTeX
Задача византийских генералов
Алгоритм Паксос

Награды и премии:

Премия Дейкстры,
Медаль Джона фон Неймана
Премия Тьюринга

Сайт:

www.lamport.org

Commons-logo.svg Лесли Лэмпорт на Викискладе

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

Биография[править | править код]

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

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

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

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

Премии и награды[править | править код]

См. также[править | править код]

Примечания[править | править код]

  1. The Writings of Leslie Lamport
  2. 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.
  3. Lamport, Leslie (1979). «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program». IEEE Trans. Comput. 28 (9): 690–691. DOI:10.1109/TC.1979.1675439. ISSN 0018-9340.
  4. Lamport, Leslie (July 1982). «The Byzantine Generals Problem». ACM Transactions on Programming Languages and Systems 4 (3): 382–401. DOI:10.1145/357172.357176. Проверено 2007-02-02.
  5. Chandy, K. Mani (February 1985). «Distributed Snapshots: Determining Global States of a Distributed System». ACM Transactions on Computer Systems 3 (1): 63–75. DOI:10.1145/214451.214456. Проверено 2007-02-02.
  6. Lamport, Leslie (May 1998). «The Part-Time Parliament». ACM Transactions on Computer Systems 16 (2): 133–169. DOI:10.1145/279227.279229. Проверено 2007-02-02.
  7. 1 2 Премия Тьюринга 2013.
  8. 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.

Ссылки[править | править код]