Леслі Лампорт

Леслі Лампорт (англ. Leslie Lamport; нар. 7 лютого 1941, Нью-Йорк) — американський дослідник в галузі інформатики. Випускник з Вищої школи в Бронксі, здобув ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса^[4]. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними^[5]. Лампорт відомий, насамперед, за дослідження розподілених систем та як перший розробник системи LaTeX^[6].

Леслі Лампорт
англ. Leslie Lamport
Леслі Лампорт Леслі Лампорт
Народився	7 лютого 1941(1941-02-07) (84 роки) Нью-Йорк,  США
Країна	США
Діяльність	математик, інформатик, програміст, інженер, письменник
Alma mater	Брандейський університет
Галузь	Інформатика
Заклад	Microsoft Research Compaq Digital Equipment Corporation SRI International
Науковий ступінь	Магістр наук[d] (1963) і доктор філософії (1972)
Науковий керівник	Річард Палаіс
Членство	Національна академія наук США[1] Американська академія мистецтв і наук Association for Computing Machinery[2] Національна інженерна академія США[3]
Відомий завдяки:	LaTeX Задача візантійських генералів Паксос алгоритми
Нагороди	премія Дейкстри (2000) медаль Джона фон Неймана (2008) премія Тюрінга (2013) Премія Емануеля Піора (2004) honorary doctor of the University of Rennes Id (2003) почесний доктор Федеральної політехнічної школи Лозанниd Дійсний член ACMd (2014) премія Дейкстри (2005) премія Дейкстри (2014) honorary doctor of the Christian Albrechts University of Kield (2003) почесний доктор Федеральної політехнічної школи Лозанниd (2004) почесний доктор[d] (2007, 2006)
Особ. сторінка	lamport.org
Висловлювання у Вікіцитатах  Леслі Лампорт у Вікісховищі

Леслі Лампорт працював дослідником в Massachusetts Computer Associates, SRI International, Digital Equipment Corporation та Compaq. 2001 р. перейшов до Microsoft Research в Маунтін-В'ю, Каліфорнія^[4].

Дослідження та праці

Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:

• «Time, Clocks, and the Ordering of Events in a Distributed System» (Час, годинники та впорядкування подій в розподіленій системі),^[7] що отримала премію Дейкстри за 2000 рік^[8]
• «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» (Як створити багатопроцесорний комп'ютер, який правильно виконує багатопроцесові програми)^[9], яку він визначив як послідовну узгодженість,
• «The Byzantine Generals Problem» (Задача візантійських генералів),^[10]
• «Distributed Snapshots: Determining Global States of a Distributed System» (Розподілені знімки: визначення глобальних станів розподіленої системи),^[11] та
• «The Part-Time Parliament» (Парламент на не повну ставку)^[12].

Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики^[13], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:

• Паксос алгоритми для пошуку консенсусу.
• алгоритм пекарні для взаємного виключення багатьох нитей в обчислювальних системах, які використовують багато ресурсів.
• Алгоритм знімку для визначення узгоджених глобальних станів.

Лампорт також відомий завдяки дослідженням часової логіки, де він розробив часову логіку дій (TLA)^[14][15].

До останніх розробок належить TLA⁺, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA⁺ для розробників програмного і апаратоного забезпечення)^[16] та називає «донкіхотською спробою подолати відразу інженерів до математики».^[17]

Відзнаки

Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.^[4] 2004 р., здобув нагороду імені Емануеля Піора від IEEE.^[18] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)^[19] отримала приз імені Дейкстри^[20]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).^[21]. 2013 року став лауреатом Премії Тюрінга^[22].

Різне

Лампорт автор афоризму^[23]:

Розподілена система — це система в якій комп'ютер, про існування якого ви навіть не здогадувались, може зробити ваш комп'ютер непрацездатним.

Див. також

• Підпис Лампорта — метод створення цифрового підпису.
• S/KEY — система одноразових паролей, інколи називають схемою Лампорта.