Русская Википедия:Лэмпорт, Лесли
Шаблон:ФИО Шаблон:Учёный Лесли Лэмпорт (Шаблон:Lang-en; Шаблон:ВД-преамбула) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года.
Член Национальной академии наук США (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].
Премии и награды
- Почётные докторские степени: Университет Ренн I (Франция, 2003), Университет имени Христиана Альбрехта (Германия, 2003), Федеральная политехническая школа Лозанны (Швейцария, 2004), Университет Лугано (Швейцария, 2006).
- 2000 — Премия Дейкстры
- 2004 — Премия Эмануэля Пиора IEEE за вклад в развитие теории и практики параллельного программирования и отказоустойчивых вычисленийШаблон:Sfn.
- 2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults[9].
- 2008 — Медаль Джона фон Неймана IEEE за фундаментальный вклад в теорию распределённых и параллельных вычислений.
- 2013 — Премия Тьюринга за фундаментальный вклад в теорию распределённых системШаблон:Sfn.
- 2014 — Премия Дейкстры.
- 2019 — C&C Prize.
См. также
- Временные метки Лампорта (Часы Лэмпорта, первый вариант Логических часов)
- Алгоритм Паксос
- Задача византийских генералов
- Подпись Лэмпорта
Примечания
Ссылки
- ↑ Leslie B. Lamport Шаблон:Wayback Шаблон:Ref-en
- ↑ Dr. Leslie B. Lamport Шаблон:Wayback Шаблон:Ref-en
- ↑ Шаблон:Cite web
- ↑ 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.
- ↑ Шаблон:Статья
- ↑ Шаблон:Статья
- ↑ Шаблон:Статья
- ↑ Шаблон:Статья
- ↑ Шаблон:Статья
- Русская Википедия
- Выпускники Высшей школы естественных наук Бронкса
- Учёные в области информатики США
- Лауреаты премии Дейкстры
- Лауреаты премии Тьюринга
- Почётные доктора Кильского университета
- Почётные доктора Университета Лугано
- Сотрудники Microsoft
- Награждённые медалью Джона фон Неймана
- Лауреаты премии Эмануэля Пиора
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Авторы книг о компьютерах
- Выпускники Массачусетского технологического института
- Выпускники Школы наук Массачусетского технологического института
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
