Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Леслі Лампорт англ Leslie Lamport нар 7 лютого 1941 Нью Йорк американський дослідник в галузі інформатики Випускник з зд

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

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

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

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

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

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

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

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

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

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

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

Відзнаки

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

Різне

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

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

Див. також

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

Джерела

  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 . Процитовано 2 лютого 2007.
  5. Lamport, Leslie (July 1978). . 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). . 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). . 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). . ACM Transactions on Computer Systems. 3 (1): 63—75. doi:10.1145/214451.214456. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  10. Lamport, Leslie (May 1998). . 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). . ACM Transactions on Programming Languages and Systems. 16 (3): 872—923. doi:10.1145/177492.177726. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  14. Lamport, Leslie (2002). . Addison-Wesley. ISBN . Архів оригіналу за 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). . 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. . Архів оригіналу за 16 січня 2016. Процитовано 25 серпня 2014.
  21. Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007.

Посилання

  • Домашня сторінка Леслі Лампорта [ 24 березня 2005 у Wayback Machine.](англ.)

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Lesli Lamport angl Leslie Lamport nar 7 lyutogo 1941 Nyu Jork amerikanskij doslidnik v galuzi informatiki Vipusknik z zdobuv stupin bakalavra matematiki v MIT 1960 r ta stupin magistra 1963 r i Ph D 1972 r z matematiki v Universiteti Brandejsa Jogo disertaciya prisvyachena singulyarnosti v analitichnih diferencialnih rivnyannyah z chastinnimi pohidnimi Lamport vidomij nasampered za doslidzhennya rozpodilenih sistem ta yak pershij rozrobnik sistemi LaTeX Lesli Lamportangl Leslie LamportLesli Lamport Lesli LamportNarodivsya7 lyutogo 1941 1941 02 07 83 roki Nyu Jork SShAKrayina SShADiyalnistmatematik informatik programist inzhener pismennikAlma materBrandejskij universitetGaluzInformatikaZakladMicrosoft Research Compaq Digital Equipment Corporation SRI InternationalNaukovij stupinMagistr nauk d 1963 i doktor filosofiyi 1972 Naukovij kerivnikRichard PalaisChlenstvoNacionalna akademiya nauk SShA Amerikanska akademiya mistectv i nauk Association for Computing Machinery 1 Vidomij zavdyaki LaTeX Zadacha vizantijskih generalivNagorodipremiya Dejkstri 2000 medal Dzhona fon Nejmana 2008 premiya Tyuringa 2013 Premiya Emanuelya Piora 2004 d 2003 d d 2014 premiya Dejkstri 2005 premiya Dejkstri 2014 d 2003 pochesnij doktor d 2006 pochesnij doktor d 2007 d 2004 Osob storinkalamport orgVislovlyuvannya u Vikicitatah Lesli Lamport u Vikishovishi Lesli Lamport pracyuvav doslidnikom v Massachusetts Computer Associates SRI International Digital Equipment Corporation ta Compaq 2001 r perejshov do Microsoft Research v Mauntin V yu Kaliforniya Doslidzhennya ta praciDoslidzhennya Lamporta zaklali fundament v teoriyu rozpodilenih sistem Do jogo vidomih prac nalezhat zokrema Time Clocks and the Ordering of Events in a Distributed System Chas godinniki ta vporyadkuvannya podij v rozpodilenij sistemi sho otrimala premiyu Dejkstri za 2000 rik How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs Yak stvoriti bagatoprocesornij komp yuter yakij pravilno vikonuye bagatoprocesovi programi yaku vin viznachiv yak The Byzantine Generals Problem Zadacha vizantijskih generaliv Distributed Snapshots Determining Global States of a Distributed System Rozpodileni znimki viznachennya globalnih staniv rozpodilenoyi sistemi ta The Part Time Parliament Parlament na ne povnu stavku Ci statti prisvyacheni takim ponyattyam yak ta vidnoshennya ta Zadacha vizantijskih generaliv Voni nalezhat do chisla najcitovanishih prac v galuzi informatiki v nih opisani algoritmi rozv yazannya bagatoh fundamentalnih problem rozpodilenih sistem zokrema dlya poshuku algoritm pekarni dlya vzayemnogo viklyuchennya bagatoh nitej v obchislyuvalnih sistemah yaki vikoristovuyut bagato resursiv dlya viznachennya uzgodzhenih globalnih staniv Lamport takozh vidomij zavdyaki doslidzhennyam chasovoyi logiki de vin rozrobiv TLA Do ostannih rozrobok nalezhit TLA logika dlya specifikaciyi ta doslidzhennya bagatopotokovih ta reaktivnih sistem yaku vin opisav v knizi Specifying Systems The TLA Language and Tools for Hardware and Software Engineers Specifikaciya sistem mova ta zasobi TLA dlya rozrobnikiv programnogo i aparatonogo zabezpechennya ta nazivaye donkihotskoyu sproboyu podolati vidrazu inzheneriv do matematiki VidznakiLamport otrimav chotiri stupeni pochesnogo doktora vid Yevropejskih universitetiv Universitet Renn ta Kilskij universitet v 2003 Lozanni v 2004 ta Universitet Lugano v 2006 2004 r zdobuv nagorodu imeni Emanuelya Piora vid IEEE 2005 r stattya Reaching Agreement in the Presence of Faults Dosyagnennya zgodi za vidsutnosti zboyiv otrimala priz imeni Dejkstri Na vidznaku 60 ti rokiv z dnya narodzhennya Lamporta bula organizovana seriya lekcij na 20 mu simpoziumi z principiv rozpodilenih obchislen PODC 2001 2013 roku stav laureatom Premiyi Tyuringa RizneLamport avtor aforizmu Rozpodilena sistema ce sistema v yakij komp yuter pro isnuvannya yakogo vi navit ne zdogaduvalis mozhe zrobiti vash komp yuter nepracezdatnim Div takozh metod stvorennya cifrovogo pidpisu sistema odnorazovih parolej inkoli nazivayut shemoyu Lamporta Dzherelahttps www acm org media center 2015 january fellows 2014 Lamport Leslie 19 grudnya 2006 My Writings Arhiv originalu za 9 lipnya 2013 Procitovano 2 lyutogo 2007 Lamport Leslie The Analytic Cauchy Problem with Singular Data 1972 z dzherela 16 serpnya 2007 Procitovano 2007 02 02 Lamport Leslie 1986 LaTeX A Document Preparation System Addison Wesley ISBN 0 201 15790 X Procitovano 2 lyutogo 2007 Lamport Leslie July 1978 Communications of the ACM 21 7 558 565 doi 10 1145 359545 359563 Arhiv originalu za 16 serpnya 2007 Procitovano 2 lyutogo 2007 Neiger Gil 23 sichnya 2003 PODC Influential Paper Award 2000 Arhiv originalu za 9 lipnya 2013 Procitovano 2 lyutogo 2007 Lamport Leslie 1979 IEEE Trans Comput 28 9 690 691 doi 10 1109 TC 1979 1675439 ISSN 0018 9340 Arhiv originalu za 5 serpnya 2011 Procitovano 3 grudnya 2010 Lamport Leslie Robert Shostak Marshall Pease July 1982 ACM Transactions on Programming Languages and Systems 4 3 382 401 doi 10 1145 357172 357176 Arhiv originalu za 16 serpnya 2007 Procitovano 2 lyutogo 2007 Chandy K Mani Leslie Lamport February 1985 ACM Transactions on Computer Systems 3 1 63 75 doi 10 1145 214451 214456 Arhiv originalu za 16 serpnya 2007 Procitovano 2 lyutogo 2007 Lamport Leslie May 1998 ACM Transactions on Computer Systems 16 2 133 169 doi 10 1145 279227 279229 Arhiv originalu za 16 serpnya 2007 Procitovano 2 lyutogo 2007 Most cited articles in Computer Science 2006 09 Arhiv originalu za 9 lipnya 2013 Procitovano 8 zhovtnya 2007 Lamport Leslie A Temporal Logic of Actions 1990 1 kvitnya z dzherela 16 serpnya 2007 Procitovano 2007 02 02 Lamport Leslie May 1994 ACM Transactions on Programming Languages and Systems 16 3 872 923 doi 10 1145 177492 177726 Arhiv originalu za 16 serpnya 2007 Procitovano 2 lyutogo 2007 Lamport Leslie 2002 Addison Wesley ISBN 0 321 14306 X Arhiv originalu za 11 grudnya 2008 Procitovano 2 lyutogo 2007 The International Conference on Dependable Systems and Networks keynote speaker biography Arhiv originalu za 9 lipnya 2013 Procitovano 6 bereznya 2007 IEEE Emanuel R Piore Award Recipients Arhiv originalu za 9 lipnya 2013 Procitovano 2 lyutogo 2007 Pease Marshall Robert Shostak Leslie Lamport April 1980 Journal of the Association for Computing Machinery 27 2 Arhiv originalu za 16 serpnya 2007 Procitovano 2 lyutogo 2007 Edsger W Dijkstra Prize in Distributed Computing 2005 Arhiv originalu za 9 lipnya 2013 Procitovano 2 lyutogo 2007 PODC 2001 Lamport Lecture Series Arhiv originalu za 9 lipnya 2013 Procitovano 2 lipnya 2009 Arhiv originalu za 16 sichnya 2016 Procitovano 25 serpnya 2014 Lamport Leslie 28 travnya 1987 Distribution e mail Arhiv originalu za 9 lipnya 2013 Procitovano 16 kvitnya 2007 PosilannyaDomashnya storinka Lesli Lamporta 24 bereznya 2005 u Wayback Machine angl

Дата публікації:
Топ