Լեսլի Լեմպորտ

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search
Լեսլի Լեմպորտ
անգլ.՝ Leslie Lamport
Leslie Lamport.jpg
Ծնվել էփետրվարի 7, 1941(1941-02-07)[1] (79 տարեկան)
Նյու Յորք, Նյու Յորք, ԱՄՆ
ՔաղաքացիությունFlag of the United States.svg ԱՄՆ
Մասնագիտությունմաթեմատիկոս, համակարգչային գիտնական, ծրագրավորող, ճարտարագետ և գրող
Հաստատություն(ներ)Mitre Corporation?, Digital Equipment Corporation, SRI International? և Microsoft Research?
Գործունեության ոլորտինֆորմատիկա
ԱնդամակցությունԱՄՆ-ի Գիտությունների ազգային ակադեմիա և Արվեստների և գիտությունների ամերիկյան ակադեմիա
Ալմա մատերՄասաչուսեթսի տեխնոլոգիական ինստիտուտ, Բրանդեյսի համալսարան և Բրոնքսի գիտությունների ավագ դպրոց
Գիտական աստիճանգիտության մագիստր (1963) և փիլիսոփայության դոկտոր (1972)
Տիրապետում է լեզուներինանգլերեն
Գիտական ղեկավարRichard Palais?
ՊարգևներDijkstra Prize? Ջոն ֆոն Նեյմանի մեդալ Թյուրինգի մրցանակ[2][3] Էմանուել Պիորի մրցանակ honorary doctorate of the University of Rennes I? honorary doctor of the École polytechnique fédérale de Lausanne? ACM-ի անդամ[4] Dijkstra Prize? Dijkstra Prize? Q97461163? Պատվավոր դոկտոր Պատվավոր դոկտոր և honorary doctor of the École polytechnique fédérale de Lausanne?
Կայքlamport.org
Leslie Lamport Վիքիպահեստում


Լեսլի Լեմպորտ (անգլ.՝ Leslie Lamport, փետրվարի 7, 1941(1941-02-07)[1], Նյու Յորք, Նյու Յորք, ԱՄՆ), համակարգչային գիտության ամերիկացի գիտնական, Դեյքստրա մրցանակի առաջին դափնեկիր։ Մշակել է հանրահայտ TeX համակարգչային տպագրական շարվածքի համակարգի մակրոընդարձակման հացաքածուն, հետազոտել է բաշխված համակարգերի տեսության, ժամանակային տրամաբանության (անգլ.՝ temporal logic)[5], փոխազդող համակարգերում գործընթացների սինխրոնիզացման հարցերը: Նա առավելապես հայտնի է բաշխիչ համակարգերում իր բեղմնավոր աշխատանքով, ինչպես նաև, որպես LaTeX փաստաթղթերի պատրաստման համակարգի նախնական մշաման և նրա ղեկավարման ձեռնարկի հեղինակ։

2013 թվականին դարձել է Թյուրինգի մրցանակի դափնեկիր: Թյուրինգի մրցանակը ստացել է բաշխված հաշվարկային համակարգերի արտաքուստ քաոսային վիճակին հստակ, պարզորոշ համաձայնեցվածություն պարտադրելու համար, որում մի քանի ինքնավար համակարգիչներ հաղորդակցվում են միմյանց հետ՝ փոխանցելով հաղորդագրություններ:

Նա մշակել է տվյալների փոխանցման կարևոր ալգորիթմներ և դրանց ֆորմալ մոդելավորման և վավերացման պրոտոկոլներ, որոնք լավացնում են իրական բաշխող համակարգերի որակը։ Այս ներդրումները հանգեցրել են համակարգչային համակարգերի ճիշտության, արդյունավետության և հուսալիության բարձրացմանը:

2011 թվականից ԱՄՆ գիտությունների ազգային ակադեմիայի անդամ է[6], 1991 թվականից՝ ԱՄՆ Ազգային ինժեներական ակադեմիայի անդամ[7]:

Կենսագրություն[խմբագրել | խմբագրել կոդը]

Կրթություն[խմբագրել | խմբագրել կոդը]

Լեսլի Լեմպորտն ավարտել է Բրոնքսի դպրոցը (Bronx High School of Science), 1960 թվականին Մասաչուսեթսի տեխնոլոգիական ինստիտուտում ստացել է բակալավրի աստիճան մաթեմատիկայից: Բրանդեյսկի համալսարանում ստացել է մագիստրոսի (1963թ.) և փիլիսոփայության դոկտրի աստիճաններ (1972թ.)[8]։

Գործունեություն[խմբագրել | խմբագրել կոդը]

1970 թվականից Լեսլի Լեմպորտն աշխատել է Մասաչուսեթսի տեխնոլոգիական ինստիտուտում, SRI International, DEC և Compaq համակարգչային տեխնիկա արտադրող ընկերություններում։ 2001 թվականից եղել է՝ Մայքրոսոֆթ կորպորացիայի Microsoft Research ստորաբաժանման աշխատակից:

Գիտական աշխատանքներ[խմբագրել | խմբագրել կոդը]

Լեմպորտի հետազոտությունները բաշխված համակարգերի տեսության հիմնասյուներն են հանդիսանում: Դրանցից ամենահայտնի աշխատանքներն են.

  • Time, Clocks, and the Ordering of Events in a Distributed System[9]: Այս աշխատանքի համար ստացել է մրցանակներ․
    • PODC Influential Paper Award։2000 մրցանակը (2000 թվական)[10]
    • ACM SIGOPS Hall of Fame Award (2007 թվական)[11]
  • How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs[12] տվել է հետևողակնության հաջորդականության որոշումը
  • The Byzantine Generals' Problem[13] Բյուզանդական գեներալների խնդիր - Դեյքստրա մրցանակ (2005)[14]
  • Distributed Snapshots: Determining Global States of a Distributed System[15] - Դեյքստրա մրցանակ՝ Քանդի-Լեմպորտ ալգորիթմով համակարգի համընդհանուր վիճակի հետևողական պատկերը ստանալու համար (2014)[16]
  • The Part-Time Parliament[17]։

Կոչումներ[խմբագրել | խմբագրել կոդը]

Պատվավոր դոկտորի աստիճաններ
Թվական Երկիր, քաղաք Համալսարան
2003 թվական Ֆրանսիա, Ռեն Ռենն Ι համալսարան
2003 թվական Գերմանիա, Քիլ Քրիստիան Ալբրեխտի անվան Քիլի համալսարան
2004 թվական Շվեյցարիա, Լոզան Լոզանի դաշնային պոլիտեխնիկական բարձրագույն դպրոց
2006 թվական Շվեյցարիա, Լուգանո Լուգանոյի համալսարան

Պարգևներ[խմբագրել | խմբագրել կոդը]

Տարեթիվ Շքանշաններ և մրցանակներ
2000 թվական Դեյքստրա մրցանակ
2004 թվական IEEE[18] ինստիտուտի Էմանուել Պիորեի մրցանակ «Համաժամանակյա ծրագրավորման և անսարքությունների դիմակայման տեսական և գործնական բեղմնավոր ներդրումների համար»[19][20]
2005 թվական Դեյքստրա մրցանակ Reaching Agreement in the Presence of Faults - անսարքությունների առկայության դեպքում համաձայնեցվածության հասնելու համար[15]
2008 թվական IEEE ինստիտուտի Ջոն ֆոն Նեմանի շքանշան՝ բաշխված և զուգահեռ հաշվարկների տեսության մեջ կատարած հիմնարար ներդրումների համար[21]
2013 թվական Թյուրինգի մրցանակ՝ բաշխված համակարգերի տեսության մեջ կատարած հիմնարար ներդրումների համար[20]
2014 թվական Դեյկստրա մրցանակ
2019 թվական ճապոնական NEC կորպորացիայի C&C-ի մրցանակ «Բաշխված հաշվարկային համակարգերում հիմնարար տեսությունների զարգացման գործում ակնառու ներդրումների համար»[22]

Տես նաև[խմբագրել | խմբագրել կոդը]

Պատկերասրահ[խմբագրել | խմբագրել կոդը]

Ծանոթագրություններ[խմբագրել | խմբագրել կոդը]

  1. 1,0 1,1 Encyclopædia Britannica
  2. Leslie Lamport - A.M. Turing Award LaureateACM.
  3. Leslie LamportACM.
  4. Leslie LamportACM.
  5. Կիրառվում է ժամանակային սանդղակում դեպքերի հաջորդականությունը և դրանց միջև կապը ցույց տալու համար։
  6. Leslie B. Lamport (անգլ.)
  7. Dr. Leslie B. Lamport (անգլ.)
  8. Lamport Leslie (15 October2019)։ «My Writings» (անգլերեն) 
  9. Lamport L. (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 
  10. «PODC Influential Paper Award: 2000», ACM Symposium on Principles of Distributed Computing, http://www.podc.org/influential/2000.html, վերցված է 2009-08-24 
  11. «The Hall of Fame Award․ Nomination Deadline․ 2013»։ sigops 
  12. Lamport, Leslie How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program(անգլ.) // IEEE Transactions on Computers : journal. — 1979. — Т. 28. — № 9. — С. 690—691. — ISSN 0018-9340. — doi:10.1109/TC.1979.1675439
  13. Lamport, Leslie; Robert Shostak; Marshall Pease The Byzantine Generals Problem(անգլ.) // ACM Transactions on Programming Languages and Systems : journal. — 1982. — Т. 4. — № 3. — С. 382—401. — doi:10.1145/357172.357176
  14. «Edsger W. Dijkstra Prize in Distributed Computing: 2005», ACM Symposium on Principles of Distributed Computing, http://www.podc.org/dijkstra/2005.html, վերցված է 2009-08-24 
  15. 15,0 15,1 Chandy, K. Mani; Leslie Lamport Distributed Snapshots: Determining Global States of a Distributed System(անգլ.) // ACM Transactions on Computer Systems : journal. — 1985. — Т. 3. — № 1. — С. 63—75. — doi:10.1145/214451.214456
  16. 2014 Edsger W. Dijkstra Prize in Distributed Computing, http://www.disc-conference.org/wp/disc2014/dijkstra-prize/, վերցված է 2014-06-17 
  17. 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 
  18. անգլ.՝ Institute of Electrical and Electronics Engineers, Էլեկտրոտեխնիկայի և էլեկտրոնիկայի ինժեներների ինստիտուտ
  19. «IEEE-LEVEL AWARDS» 
  20. 20,0 20,1 Премия Тьюринга 2013
  21. «IEEE John von Neumann Medal Recipients» 
  22. «2019 Recipients of C&C Prize․ Group B։ Dr. Leslie Lamport»։ The NEC C&C Foundation