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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Լեսլի Լեմպորտ
անգլ.՝ Leslie Lamport
Leslie Lamport.jpg
Ծնվել էփետրվարի 7, 1941(1941-02-07)[1] (82 տարեկան)
Նյու Յորք, Նյու Յորք, ԱՄՆ
ՔաղաքացիությունFlag of the United States.svg ԱՄՆ
Մասնագիտությունմաթեմատիկոս, համակարգչային գիտնական, ծրագրավորող, ճարտարագետ և գրող
Հաստատություն(ներ)MITRE Corporation?, Digital Equipment Corporation, Ամերիկյան շահույթ չհետապնդող գիտական հետազոտությունների ինստիտուտ և Microsoft Research?
Գործունեության ոլորտինֆորմատիկա և distributed computing?
ԱնդամակցությունԱՄՆ-ի Գիտությունների ազգային ակադեմիա և Արվեստների և գիտությունների ամերիկյան ակադեմիա
Ալմա մատերՄասաչուսեթսի տեխնոլոգիական ինստիտուտ, Բրանդեյսի համալսարան և Բրոնքսի գիտությունների ավագ դպրոց
Գիտական աստիճանգիտության մագիստր (1963) և փիլիսոփայության դոկտոր (1972)
Տիրապետում է լեզուներինանգլերեն
Գիտական ղեկավարRichard Palais?
Պարգևներ
Կայքlamport.org
Commons-logo.svg Leslie Lamport Վիքիպահեստում

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Նկարոմ ենք էսքիզ LaTeX-ի օգնությամբ «Ցանկություն և իրականություն»

    Նկարոմ ենք էսքիզ LaTeX-ի օգնությամբ «Ցանկություն և իրականություն»

  • Լատեքսի օրինակ,կողային գլխարկ png ձևաչափը

    Լատեքսի օրինակ,կողային գլխարկ png ձևաչափը

  • Լատեքսի օրինակ աղյուսակի տեսքով

    Լատեքսի օրինակ աղյուսակի տեսքով

  • Լատեքս պրոյեկտոր-սյուներ, օրինակ 2

    Լատեքս պրոյեկտոր-սյուներ, օրինակ 2

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

  1. ↑ 1,0 1,1 Encyclopædia Britannica
  2. ↑ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos
  3. ↑ Leslie Lamport - A.M. Turing Award Laureate — ACM.
  4. ↑ Leslie Lamport — ACM.
  5. ↑ Leslie Lamport — ACM.
  6. ↑ Կիրառվում է ժամանակային սանդղակում դեպքերի հաջորդականությունը և դրանց միջև կապը ցույց տալու համար։
  7. ↑ Leslie B. Lamport (անգլ.)
  8. ↑ Dr. Leslie B. Lamport (անգլ.)
  9. ↑ Lamport Leslie (15 October2019)։ «My Writings» (անգլերեն) 
  10. ↑ 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 
  11. ↑ «PODC Influential Paper Award: 2000», ACM Symposium on Principles of Distributed Computing, http://www.podc.org/influential/2000.html, վերցված է 2009-08-24 
  12. ↑ «The Hall of Fame Award․ Nomination Deadline․ 2013»։ sigops 
  13. ↑ 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
  14. ↑ 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
  15. ↑ «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 
  16. ↑ 16,0 16,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
  17. ↑ 2014 Edsger W. Dijkstra Prize in Distributed Computing, http://www.disc-conference.org/wp/disc2014/dijkstra-prize/, վերցված է 2014-06-17 
  18. ↑ 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 
  19. ↑ անգլ.՝ Institute of Electrical and Electronics Engineers, Էլեկտրոտեխնիկայի և էլեկտրոնիկայի ինժեներների ինստիտուտ
  20. ↑ «IEEE-LEVEL AWARDS» 
  21. ↑ 21,0 21,1 Премия Тьюринга 2013
  22. ↑ «IEEE John von Neumann Medal Recipients» 
  23. ↑ «2019 Recipients of C&C Prize․ Group B։ Dr. Leslie Lamport»։ The NEC C&C Foundation 
Վիիքպահեստ
 ⛭ 
  Թեմատիկ կայքեր
Բառարաններ և հանրագիտարաններ
Ստացված է «https://hy.wikipedia.org/w/index.php?title=Լեսլի_Լեմպորտ&oldid=8257326» էջից