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

Леслі Лампорт
англ. Leslie Lamport Редагувати інформацію у Вікіданих
Леслі Лампорт
Леслі Лампорт
Леслі Лампорт
Народився7 лютого 1941(1941-02-07) (83 роки)
Нью-Йорк, США США
Країна США Редагувати інформацію у Вікіданих
Діяльністьматематик, інформатик, програміст, інженер, письменник
Alma materБрандейський університет
ГалузьІнформатика
ЗакладMicrosoft Research
Compaq
Digital Equipment Corporation
SRI International
Науковий ступіньМагістр наук[d] Редагувати інформацію у Вікіданих (1963) і доктор філософії Редагувати інформацію у Вікіданих (1972)
Науковий керівникРічард Палаіс
ЧленствоНаціональна академія наук США Редагувати інформацію у Вікіданих
Американська академія мистецтв і наук Редагувати інформацію у Вікіданих
Association for Computing Machinery[1] Редагувати інформацію у Вікіданих
Відомий завдяки:LaTeX
Задача візантійських генералів
Паксос алгоритми
Нагороди

премія Дейкстри (2000)

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

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

Премія Емануеля Піора (2004)

honorary doctor of the University of Rennes Id (2003)

почесний доктор Федеральної політехнічної школи Лозанниd

Дійсний член ACMd (2014)

премія Дейкстри (2005)

премія Дейкстри (2014)

honorary doctor at Christian-Albrechts-Universität zu Kield (2003)

почесний доктор Федеральної політехнічної школи Лозанниd (2004)

почесний доктор[d] (2007, 2006)

Особ. сторінкаlamport.org Редагувати інформацію у Вікіданих

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

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

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

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

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

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

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

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

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

Відзнаки

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

Різне

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

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

Див. також

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

Джерела

  1. https://www.acm.org/media-center/2015/january/fellows-2014
  2. а б в Lamport, Leslie (19 грудня 2006). My Writings. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  3. Lamport Leslie. The Analytic Cauchy Problem with Singular Data. — 1972. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
  4. Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Процитовано 2 лютого 2007.
  5. Lamport, Leslie (July 1978). Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM. 21 (7): 558—565. doi:10.1145/359545.359563. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  6. Neiger, Gil (23 січня 2003). PODC Influential Paper Award: 2000. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  7. 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. Архів оригіналу за 5 серпня 2011. Процитовано 3 грудня 2010.
  8. 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. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  9. 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. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  10. Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems. 16 (2): 133—169. doi:10.1145/279227.279229. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  11. Most cited articles in Computer Science. 2006-09. Архів оригіналу за 9 липня 2013. Процитовано 8 жовтня 2007.
  12. Lamport Leslie. A Temporal Logic of Actions. — 1990. — 1 квітня. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
  13. Lamport, Leslie (May 1994). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems. 16 (3): 872—923. doi:10.1145/177492.177726. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  14. Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 0-321-14306-X. Архів оригіналу за 11 грудня 2008. Процитовано 2 лютого 2007.
  15. The International Conference on Dependable Systems and Networks keynote speaker biography. Архів оригіналу за 9 липня 2013. Процитовано 6 березня 2007.
  16. IEEE Emanuel R. Piore Award Recipients. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  17. Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. 27 (2). Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  18. Edsger W. Dijkstra Prize in Distributed Computing: 2005. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  19. PODC 2001: Lamport Lecture Series. Архів оригіналу за 9 липня 2013. Процитовано 2 липня 2009.
  20. LESLIE LAMPORT. Архів оригіналу за 16 січня 2016. Процитовано 25 серпня 2014.
  21. Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007.

Посилання