| Лесли Лэмпорт | |
|---|---|
| Leslie Lamport | |
 | |
| Дата рождения | 7 февраля 1941 (78 лет) |
| Место рождения | Нью-Йорк |
| Страна | |
| Научная сфера | информатика |
| Место работы | Microsoft |
| Альма-матер | |
| Учёная степень | доктор философии (PhD) |
| Научный руководитель | Ричард Пэлес (англ.) |
| Известен как |
LaTeX Задача византийских генералов Алгоритм Паксос |
| Награды и премии | |
| Сайт | www.lamport.org |
 | |
Лесли Лэмпорт (англ. Leslie Lamport; 7 февраля 1941 года, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик 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 за вклад в развитие теории и практики параллельного программирования и отказоустойчивых вычислений[9].
- 2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults[10].
- 2008 — Медаль Джона фон Неймана IEEE за фундаментальный вклад в теорию распределённых и параллельных вычислений.
- 2013 — Премия Тьюринга за фундаментальный вклад в теорию распределённых систем[9]
- 2014 — Премия Дейкстры.
См. также
- Временные метки Лампорта (Часы Лэмпорта, первый вариант Логических часов)
- Алгоритм Паксос
- Задача византийских генералов
- Подпись Лэмпорта
Примечания
- ↑ Leslie B. Lamport (англ.)
- ↑ Dr. Leslie B. Lamport (англ.)
- ↑ The Writings of Leslie Lamport
- ↑ 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.
- ↑ 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.
- ↑ Lamport, Leslie; Robert Shostak; Marshall Pease (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.
- ↑ Chandy, K. Mani; Leslie Lamport (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.
- ↑ 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.
- 1 2 Премия Тьюринга 2013.
- ↑ 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. Неизвестный параметр
|curly=(справка); Используется устаревший параметр|month=(справка)
Ссылки
- lamport.org — официальный сайт Лесли Лэмпорта
- ACM. Turing award 2013 (18 марта 2014).
Тематические сайты | |
|---|---|
| Словари и энциклопедии | |
| Нормативный контроль |
 Лауреаты премии Тьюринга | |
|---|---|
| |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .