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





















































Лесли Лэмпорт
Leslie Lamport
Leslie Lamport.jpg
Дата рождения
7 февраля 1941(1941-02-07) (78 лет)
Место рождения
Нью-Йорк
Страна
  • Flag of the United States.svg США
Научная сфера
информатика
Место работы
Microsoft
Альма-матер

  • МТИ

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

  • Старшая школа (Бронкс) с углубленным изучением наук[d]
Учёная степень
доктор философии (PhD)
Научный руководитель
Ричард Пэлес (англ.)
Известен как
LaTeX
Задача византийских генералов
Алгоритм Паксос
Награды и премии

Премия Дейкстры (2000)

медаль Джона фон Неймана (2008)

премия Тьюринга (2013)

Премия Эмануэля Пиора (2004)

почётный доктор Университета Ренн I[d] (2007)

Fellow of the Association for Computing Machinery[d] (2014)
Сайт
www.lamport.org
Commons-logo.svg Лесли Лэмпорт на Викискладе

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


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




Содержание






  • 1 Биография


  • 2 Премии и награды


  • 3 См. также


  • 4 Примечания


  • 5 Ссылки





Биография |


Окончил школу в Бронксе (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 — Премия Дейкстры.



См. также |




  • Временные метки Лампорта (Часы Лэмпорта, первый вариант Логических часов)

  • Алгоритм Паксос

  • Задача византийских генералов

  • Подпись Лэмпорта



Примечания |





  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 (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..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}


  6. ↑ 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.


  7. ↑ 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.


  8. ↑ 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.


  9. ↑ 12 Премия Тьюринга 2013.


  10. ↑ 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).











-

Popular posts from this blog

Михайлов, Христо

Image
В Википедии есть статьи о других людях с фамилиями Михайлов и Попов. Христо Михайлов Попов болг. Христо Михайлов Попов Памятник в Монтане Дата рождения 18 апреля 1893 ( 1893-04-18 ) Место рождения Видин, Княжество Болгария Дата смерти 8 февраля 1944 ( 1944-02-08 ) (50 лет) Место смерти София, Третье Болгарское царство Принадлежность Болгария   Болгария Род войск сухопутные войска Годы службы 1912—1944 Звание генерал-полковник Командовал Народно-освободительная повстанческая армия Болгарии Сражения/войны Первая Балканская война Вторая Балканская война Первая мировая война Сентябрьское восстание Вторая мировая война Связи Иван Попов (брат) Дом-музей Христо Попова Христо Михайлов Попов , в Болгарии известный как Христо Михайлов , (болг. Христо Михайлов Попов ; 18 апреля 1893, Видин — 8 февраля 1944, София) — болгарский военный и государственный деятель, участник и руководитель Движения Сопротивления в Болгарии...
Read more

Центральная группа войск

Image
Центральная группа войск (ЦГВ) Эмблема ВС Годы существования 1945—1955 1968—1991 Страна СССР Подчинение МО СССР Входит в РККА (СА), Вооружённых Сил СССР. Численность превышала 300 000 человек Дислокация Австрия и Венгрия (1945—1955), Чехословакия (1968—1991) Командиры Известные командиры Командующие войсками , См. список. 9 мая в штаб-квартире ЦГВ , 1984 год. Парк в ЦГВ , 1985 год. Магазин «Детский мир» в Миловице, ЦГВ , 1985 год. Центральная группа войск (ЦГВ)  — оперативно-стратегическое объединение (группа войск) Советских ВС, дважды существовавшее в период после окончания Великой Отечественной войны: в 1945—1955 годах дислоцировалась на территории Австрии и Венгрии; в период с 24 октября 1968 по 21 июня 1991 дислоцировалась в Чехословакии. Содержание 1 Центральная группа войск (1-го формирования) 1.1 Командующие (ЦГВ 1-го формирования): 2 Центральная группа войск (2-го формирования) 3 ...
Read more

Троллейбус

Image
Троллейбус Привод Электрический двигатель Период с 1882 года Область применения общественный транспорт, городской или междугородный Инфраструктура автомобильная дорога, контактная сеть Содержание 1 Этимология 2 История 3 Инфраструктура и организация движения 3.1 Дорожная сеть 3.2 Электропитание 3.3 Контактная сеть 3.4 Остановки 3.5 Троллейбусные предприятия 3.6 Разворотные пункты 3.7 График и расписания 3.8 Скорость движения 3.9 Способы оплаты проезда 4 Подвижной состав 5 Устройство троллейбуса 5.1 Шасси и компоновка 5.1.1 Кузов 5.1.2 Салон 5.1.3 Номерной знак и маршрутоуказатели 5.2 Ходовая часть и трансмиссия 5.3 Электрооборудование 5.3.1 Тяговый электродвигатель 5.3.2 Система управления двигателем 5.3.3 Системы автономного хода 5.3.4 Вспомогательная электроаппаратура 5.3.5 Электробезопасность 5.4 Токоприёмники 5.5 Тормозная система ...
Read more