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

Лесли Лэмпорт
Лесли Лэмпорт
Рожденный	7 февраля 1941 г. (83 года) ; Нью-Йорк, США
Альма-матер	Массачусетский технологический институт ( BS ) ; Университет Брандейса ( магистр , доктор философии ) ;
Известный	Латекс ; Хэш-цепочка ( S/KEY ) ; Последовательная согласованность ; Алгоритм пекарни Лэмпорта ; Византийская отказоустойчивость ; Алгоритм Паксоса ; Подпись Лэмпорта ; Временная логика действий ; ТЛА+ ;
Награды	Премия Дейкстры (2000, 2005, 2014) ; Премия IEEE Эмануэля Р. Пиоре (2004 г.) ; Медаль IEEE Джона фон Неймана (2008 г.) ; Премия Тьюринга (2013) ; Член Национальной академии наук (2011). ; Сотрудник ACM (2014) ;
	Научная карьера
Поля	Информатика
Учреждения	Microsoft Исследования ; Компак ; Корпорация цифрового оборудования ; НИИ Международный ;
Диссертация	Аналитическая задача Коши с сингулярными данными (1972)
Докторантура	Ришар Пале
Веб-сайт	порт лампы .org

Лесли Б. Лэмпорт (род. 7 февраля 1941 г.) — американский учёный-компьютерщик и математик . Лэмпорт наиболее известен своей плодотворной работой в области распределенных систем , а также как первоначальный разработчик системы подготовки документов LaTeX и автор первого руководства по ней. ^[2]

Лэмпорт стал лауреатом Премии Тьюринга 2013 года. ^[3] за придание четкой, четко определенной последовательности кажущемуся хаотическим поведению распределенных вычислительных систем, в которых несколько автономных компьютеров общаются друг с другом посредством передачи сообщений. Он разработал важные алгоритмы и разработал формальные протоколы моделирования и проверки, которые улучшают качество реальных распределенных систем. Этот вклад привел к повышению правильности, производительности и надежности компьютерных систем. ^[4]^[5]^[6]^[7]^[8]

Молодость образование и

Лэмпорт родился в еврейской семье в Бруклине, Нью-Йорк, в семье Бенджамина и Ханны Лэмпорт (урожденная Лассер). ^{[ нужна ссылка ]} Его отец был иммигрантом из Волковыска в Российской империи (ныне Волковыск , Белоруссия ). ^[9] и его мать была иммигранткой из Австро-Венгерской империи , ныне юго-восточной Польши.

Выпускник Высшей научной школы Бронкса , Лэмпорт получил степень бакалавра математики в 1960 году, а в Массачусетском технологическом институте затем степень магистра (1963) и доктора философии. (1972) получил степень по математике в Университете Брандейса . ^[10] Его диссертация «Аналитическая задача Коши с сингулярными данными » посвящена особенностям аналитических уравнений в частных производных . ^[11]

и исследования Карьера

Лэмпорт работал ученым-компьютерщиком в Massachusetts Computer Associates с 1970 по 1977 год, в Стэнфордском исследовательском институте ( SRI International ) с 1977 по 1985 год, а также в Digital Equipment Corporation и Compaq с 1985 по 2001 год. В 2001 году он присоединился к Microsoft Research в Калифорнии . ^[10]

Распределенные системы [ править ]

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

«Время, часы и порядок событий в распределенной системе», ^[5] которая получила награду Influential Paper Award за принципы распределенных вычислений (PODC) в 2000 году, ^[12]
«Как сделать многопроцессорный компьютер, корректно выполняющий многопроцессные программы», ^[13] который определил понятие последовательной согласованности ,
« Проблема византийских генералов », ^[14]
«Распределенные снимки: определение глобальных состояний распределенной системы» ^[15] и
«Неполный парламент». ^[16]

Эти статьи относятся к таким понятиям, как логические часы (и взаимосвязь «произошло до ») и византийские неудачи . Они входят в число наиболее цитируемых статей в области информатики. ^[17] и описать алгоритмы для решения многих фундаментальных проблем в распределенных системах, в том числе:

алгоритм Paxos для достижения консенсуса ,
алгоритм пекарни для взаимного исключения нескольких потоков в компьютерной системе, которым одновременно требуются одни и те же ресурсы,
алгоритм Чанди – Лэмпорта для определения непротиворечивых глобальных состояний (снимок) и
Подпись Лэмпорта , один из прототипов цифровой подписи.

Латекс [ править ]

Когда Дональд Кнут начал выпускать ранние версии TeX в начале 1980-х, Лэмпорт — из-за своей личной необходимости написать книгу — также начал работать над набором макросов на его основе, надеясь, что позже он станет его стандартным пакетом макросов. Этот набор макросов позже стал известен как LaTeX , и в 1983 году к Лампорту обратился Питер Гордон, редактор Addison-Wesley , который предложил Лампорту превратить руководство пользователя в книгу. ^[18]^[19]

В сентябре 1984 года Лэмпорт выпустил версию 2.06a макросов LaTeX, а в августе 1985 года также будет выпущена LaTeX 2.09 — последняя версия LaTeX Лампорта. Тем временем, в 1986 году Аддисон-Уэсли выпустил первое руководство пользователя LaTeX Лэмпорта, LaTeX: Система подготовки документов , которое якобы было продано «более нескольких сотен тысяч» экземпляров, а 21 августа 1989 года на собрании группы пользователей TeX в Стэнфорде Лампорт согласился передать поддержку и разработку LaTeX Фрэнку Миттельбаху, который вместе с Крисом Роули и Райнером Шёпфом сформировал команду LaTeX3, впоследствии выпустив LaTeX 2e, текущую версию LaTeX, в 1994 году. ^[19]^[20]

Временная логика [ править ]

Лэмпорт также известен своими работами по темпоральной логике , где он представил временную логику действий (TLA). ^[21]^[22] Среди его последних работ — TLA. ⁺, язык для определения и рассуждений о параллельных и реактивных системах, который он описывает в книге «Спецификация систем: TLA». ⁺ Язык и инструменты для инженеров аппаратного и программного обеспечения. ^[23] Он определяет TLA+ как « донкихотскую попытку преодолеть антипатию инженеров к математике». ^[24]

Награды и почести [ править ]

В 2014 году Лэмпорт получил премию Тьюринга за «фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности, за изобретение таких концепций, как причинность и логические часы, безопасность и жизнеспособность, реплицируемые конечные автоматы и последовательная согласованность». ^[25] Он был избран членом Национальной инженерной академии в 1991 году за вклад в теоретические основы параллельных и отказоустойчивых вычислений. В 2014 году он был избран членом Ассоциации вычислительной техники за фундаментальный вклад в теорию и практику распределенных и параллельных систем. ^[26] Он также получил пять почетных докторских степеней европейских университетов: Университета Ренна и Университета Кристиана Альбрехта в Киле в 2003 году, Федеральной политехнической школы Лозанны (EPFL) в 2004 году, Университета Лугано в 2006 году и Университета Нанси в 2007 году. ^[10] В 2004 году он получил премию IEEE Эмануэля Р. Пиоре . ^[27] В 2005 году вышла статья «Достижение соглашения при наличии разломов». ^[28] получил премию Дейкстры . ^[29] В честь шестидесятилетия Лэмпорта на 20-м симпозиуме по принципам распределенных вычислений (PODC 2001) была организована серия лекций. ^[30] В 2008 году он получил медаль Джона фон Неймана IEEE . ^[31] В 2011 году он был избран членом Национальной академии наук . ^[32]

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

^ Лесли Лэмпорт в проекте «Математическая генеалогия»
^ Лэмпорт, Лесли (1986). LaTeX: система подготовки документов . Аддисон-Уэсли. ISBN 978-0-201-15790-1 . Проверено 20 июня 2019 г.
^ Лэмпорт, Лесли (2013). «Лесли Лэмпорт – обладатель премии А. М. Тьюринга» . АКМ.
^ Лесли Лэмпорт Страница профиля автора ACM. в цифровой библиотеке
^ Jump up to: Перейти обратно: ^а ^б Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации АКМ . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682 . дои : 10.1145/359545.359563 . S2CID 215822405 .
^ Публикации Лесли Лэмпорта, индексированные Microsoft Academic
^ Сэвидж, Н. (2014). «Общее согласие: Лесли Лэмпорт внес вклад в теорию и практику построения распределенных вычислительных систем, которые работают по назначению». Коммуникации АКМ . 57 (6): 22–23. дои : 10.1145/2601076 . S2CID 5936915 .
^ Хоффманн, Л. (2014). «Вопросы и ответы, разделяй и властвуй: Лесли Лэмпорт о византийских генералах, часах и других инструментах для рассуждений о параллельных системах». Коммуникации АКМ . 57 (6): 112–и след. дои : 10.1145/2601077 . S2CID 31514650 .
^ «Призывная карточка Бенджамина Лэмпорта времен Первой мировой войны» . Ancestry.com . Проверено 12 июля 2022 г.
^ Jump up to: Перейти обратно: ^а ^б ^с Лэмпорт, Лесли (19 декабря 2006 г.). «Мои сочинения» . Проверено 2 февраля 2007 г.
^ Лэмпорт, Лесли (1972). «Аналитическая задача Коши с сингулярными данными» . Проверено 2 февраля 2007 г.
^ Нейгер, Гил (23 января 2003 г.). «Награда PODC за влиятельную бумагу: 2000» . Архивировано из оригинала 12 сентября 2013 г. Проверено 2 февраля 2007 г.
^ Лэмпорт, Лесли (1979). «Как создать многопроцессорный компьютер, который правильно выполняет многопроцессорную программу» . IEEE Транс. Вычислить . 28 (9): 690–691. дои : 10.1109/TC.1979.1675439 . ISSN 0018-9340 . S2CID 5679366 .
^ Лэмпорт, Лесли; Роберт Шостак; Маршалл Пиз (июль 1982 г.). «Проблема византийских генералов» . Транзакции ACM в языках и системах программирования . 4 (3): 382–401. CiteSeerX 10.1.1.64.2312 . дои : 10.1145/357172.357176 . S2CID 55899582 . Проверено 2 февраля 2007 г.
^ Чанди, К. Мани; Лесли Лэмпорт (февраль 1985 г.). «Распределенные снимки: определение глобальных состояний распределенной системы» . Транзакции ACM в компьютерных системах . 3 (1): 63–75. CiteSeerX 10.1.1.69.2561 . дои : 10.1145/214451.214456 . S2CID 207193167 . Проверено 2 февраля 2007 г.
^ Лэмпорт, Лесли (май 1998 г.). «Неполный парламент» . Транзакции ACM в компьютерных системах . 16 (2): 133–169. дои : 10.1145/279227.279229 . S2CID 421028 . Проверено 2 февраля 2007 г.
^ «Самые цитируемые статьи по информатике» . Сентябрь 2006 года . Проверено 8 октября 2007 г.
^ Лэмпорт, Лесли. «Как (LA)TEX изменил лицо математики» (PDF) .
^ Jump up to: Перейти обратно: ^а ^б «Сочинения Лесли Лэмпорт» . lamport.azurewebsites.net . Проверено 19 июля 2019 г.
^ «TeX, LaTeX и AMS-LaTeX» . 03.12.1998. Архивировано из оригинала 3 декабря 1998 г. Проверено 19 июля 2019 г.
^ Лэмпорт, Лесли (1 апреля 1990 г.). «Временная логика действий» . Проверено 2 февраля 2007 г.
^ Лэмпорт, Лесли (май 1994 г.). «Временная логика действий» . Транзакции ACM в языках и системах программирования . 16 (3): 872–923. дои : 10.1145/177492.177726 . S2CID 5498471 . Проверено 2 февраля 2007 г.
^ Лэмпорт, Лесли (2002). Спецификация систем: TLA ⁺ Язык и инструменты для инженеров аппаратного и программного обеспечения . Аддисон-Уэсли. ISBN 978-0-321-14306-8 . Проверено 2 февраля 2007 г.
^ «Биография основного докладчика Международной конференции по надежным системам и сетям» . Архивировано из оригинала 12 февраля 2019 г. Проверено 5 июля 2021 г.
^ «Премия Тьюринга 2013» . АКМ.
^ Лесли Лэмпорт, стипендиат ACM, 2014 г.
^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE. Архивировано из оригинала (PDF) 24 ноября 2010 г. Проверено 31 декабря 2010 г.
^ Пиз, Маршалл; Роберт Шостак; Лесли Лэмпорт (апрель 1980 г.). «Достижение соглашения при наличии разногласий» . Журнал Ассоциации вычислительной техники . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . дои : 10.1145/322186.322188 . S2CID 6429068 . Проверено 2 февраля 2007 г.
^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005 г.» . Проверено 2 февраля 2007 г.
^ «PODC 2001: Серия лекций Лэмпорта» . Проверено 2 июля 2009 г.
^ «Обладатели медали Джона фон Неймана IEEE» (PDF) . ИИЭЭ . Проверено 31 декабря 2010 г.
↑ Избраны члены и иностранные партнеры . Архивировано 7 мая 2011 г., в Wayback Machine , Национальная академия наук, 3 мая 2011 г.

Внешние ссылки [ править ]

Цитаты, связанные с Лесли Лэмпортом, в Wikiquote

[mathgene-1] Лесли Лэмпорт в проекте «Математическая генеалогия»

[2] Лэмпорт, Лесли (1986). LaTeX: система подготовки документов . Аддисон-Уэсли. ISBN 978-0-201-15790-1 . Проверено 20 июня 2019 г.

[3] Лэмпорт, Лесли (2013). «Лесли Лэмпорт – обладатель премии А. М. Тьюринга» . АКМ.

[acm-4] Лесли Лэмпорт Страница профиля автора ACM. в цифровой библиотеке

[timeclocks-5] Jump up to: Перейти обратно: ^а ^б Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации АКМ . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682 . дои : 10.1145/359545.359563 . S2CID 215822405 .

[microsoft-6] Публикации Лесли Лэмпорта, индексированные Microsoft Academic

[7] Сэвидж, Н. (2014). «Общее согласие: Лесли Лэмпорт внес вклад в теорию и практику построения распределенных вычислительных систем, которые работают по назначению». Коммуникации АКМ . 57 (6): 22–23. дои : 10.1145/2601076 . S2CID 5936915 .

[8] Хоффманн, Л. (2014). «Вопросы и ответы, разделяй и властвуй: Лесли Лэмпорт о византийских генералах, часах и других инструментах для рассуждений о параллельных системах». Коммуникации АКМ . 57 (6): 112–и след. дои : 10.1145/2601077 . S2CID 31514650 .

[9] «Призывная карточка Бенджамина Лэмпорта времен Первой мировой войны» . Ancestry.com . Проверено 12 июля 2022 г.

[lamport-writings-10] Jump up to: Перейти обратно: ^а ^б ^с Лэмпорт, Лесли (19 декабря 2006 г.). «Мои сочинения» . Проверено 2 февраля 2007 г.

[11] Лэмпорт, Лесли (1972). «Аналитическая задача Коши с сингулярными данными» . Проверено 2 февраля 2007 г.

[12] Нейгер, Гил (23 января 2003 г.). «Награда PODC за влиятельную бумагу: 2000» . Архивировано из оригинала 12 сентября 2013 г. Проверено 2 февраля 2007 г.

[13] Лэмпорт, Лесли (1979). «Как создать многопроцессорный компьютер, который правильно выполняет многопроцессорную программу» . IEEE Транс. Вычислить . 28 (9): 690–691. дои : 10.1109/TC.1979.1675439 . ISSN 0018-9340 . S2CID 5679366 .

[14] Лэмпорт, Лесли; Роберт Шостак; Маршалл Пиз (июль 1982 г.). «Проблема византийских генералов» . Транзакции ACM в языках и системах программирования . 4 (3): 382–401. CiteSeerX 10.1.1.64.2312 . дои : 10.1145/357172.357176 . S2CID 55899582 . Проверено 2 февраля 2007 г.

[15] Чанди, К. Мани; Лесли Лэмпорт (февраль 1985 г.). «Распределенные снимки: определение глобальных состояний распределенной системы» . Транзакции ACM в компьютерных системах . 3 (1): 63–75. CiteSeerX 10.1.1.69.2561 . дои : 10.1145/214451.214456 . S2CID 207193167 . Проверено 2 февраля 2007 г.

[16] Лэмпорт, Лесли (май 1998 г.). «Неполный парламент» . Транзакции ACM в компьютерных системах . 16 (2): 133–169. дои : 10.1145/279227.279229 . S2CID 421028 . Проверено 2 февраля 2007 г.

[17] «Самые цитируемые статьи по информатике» . Сентябрь 2006 года . Проверено 8 октября 2007 г.

[18] Лэмпорт, Лесли. «Как (LA)TEX изменил лицо математики» (PDF) .

[:1-19] Jump up to: Перейти обратно: ^а ^б «Сочинения Лесли Лэмпорт» . lamport.azurewebsites.net . Проверено 19 июля 2019 г.

[20] «TeX, LaTeX и AMS-LaTeX» . 03.12.1998. Архивировано из оригинала 3 декабря 1998 г. Проверено 19 июля 2019 г.

[21] Лэмпорт, Лесли (1 апреля 1990 г.). «Временная логика действий» . Проверено 2 февраля 2007 г.

[22] Лэмпорт, Лесли (май 1994 г.). «Временная логика действий» . Транзакции ACM в языках и системах программирования . 16 (3): 872–923. дои : 10.1145/177492.177726 . S2CID 5498471 . Проверено 2 февраля 2007 г.

[23] Лэмпорт, Лесли (2002). Спецификация систем: TLA ⁺ Язык и инструменты для инженеров аппаратного и программного обеспечения . Аддисон-Уэсли. ISBN 978-0-321-14306-8 . Проверено 2 февраля 2007 г.

[24] «Биография основного докладчика Международной конференции по надежным системам и сетям» . Архивировано из оригинала 12 февраля 2019 г. Проверено 5 июля 2021 г.

[25] «Премия Тьюринга 2013» . АКМ.

[26] Лесли Лэмпорт, стипендиат ACM, 2014 г.

[27] «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE. Архивировано из оригинала (PDF) 24 ноября 2010 г. Проверено 31 декабря 2010 г.

[28] Пиз, Маршалл; Роберт Шостак; Лесли Лэмпорт (апрель 1980 г.). «Достижение соглашения при наличии разногласий» . Журнал Ассоциации вычислительной техники . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . дои : 10.1145/322186.322188 . S2CID 6429068 . Проверено 2 февраля 2007 г.

[29] «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005 г.» . Проверено 2 февраля 2007 г.

[30] «PODC 2001: Серия лекций Лэмпорта» . Проверено 2 июля 2009 г.

[31] «Обладатели медали Джона фон Неймана IEEE» (PDF) . ИИЭЭ . Проверено 31 декабря 2010 г.

[32] Избраны члены и иностранные партнеры . Архивировано 7 мая 2011 г., в Wayback Machine , Национальная академия наук, 3 мая 2011 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

v т и премии AM Тьюринга Лауреаты
1960s	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970s	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell; Herbert A. Simon (1975) Michael O. Rabin; Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980s	Tony Hoare (1980) Edgar F. Codd (1981) Stephen Cook (1982) Ken Thompson; Dennis Ritchie (1983) Niklaus Wirth (1984) Richard Karp (1985) John Hopcroft; Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990s	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis; Richard E. Stearns (1993) Edward Feigenbaum; Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000s	Andrew Yao (2000) Ole-Johan Dahl; Kristen Nygaard (2001) Ron Rivest; Adi Shamir; Leonard Adleman (2002) Alan Kay (2003) Vint Cerf; Bob Kahn (2004) Peter Naur (2005) Frances Allen (2006) Edmund M. Clarke; E. Allen Emerson; Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
2010s	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser; Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman; Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy; David Patterson (2017) Yoshua Bengio; Geoffrey Hinton; Yann LeCun (2018) Ed Catmull; Pat Hanrahan (2019)
2020s	Alfred Aho; Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023)

Базы данных авторитетного контроля
International	FAST ISNI VIAF WorldCat
National	Norway France BnF data Germany Italy Israel United States Japan Poland
Academics	Association for Computing Machinery CiNii DBLP MathSciNet Mathematics Genealogy Project Scopus zbMATH
Other	IdRef

Молодость образование и ​

и исследования Карьера ​