Վիքիպեդիա

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

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

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

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

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

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

Կենսագրություն խմբագրել

Կրթություն խմբագրել

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

Գործունեություն խմբագրել

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

Գիտական աշխատանքներ խմբագրել

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

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

Կոչումներ խմբագրել

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

Պարգևներ խմբագրել

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

Տես նաև խմբագրել

Պատկերասրահ խմբագրել

  •  
    Նկարոմ ենք էսքիզ LaTeX-ի օգնությամբ «Ցանկություն և իրականություն»
  •  
    Լատեքսի օրինակ,կողային գլխարկ png ձևաչափը
  •  
    Լատեքսի օրինակ աղյուսակի տեսքով
  •  
    Լատեքս պրոյեկտոր-սյուներ, օրինակ 2

Ծանոթագրություններ խմբագրել

  1. ↑ 1,0 1,1 Encyclopædia Britannica
  2. ↑ CONOR.Sl
  3. ↑ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos
  4. ↑ Leslie Lamport - A.M. Turing Award Laureate — ACM.
  5. ↑ Leslie Lamport — ACM.
  6. ↑ https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/awards/piore_rl.pdf
  7. ↑ Leslie Lamport — ACM.
  8. ↑ Կիրառվում է ժամանակային սանդղակում դեպքերի հաջորդականությունը և դրանց միջև կապը ցույց տալու համար։
  9. ↑ Leslie B. Lamport (անգլ.)
  10. ↑ Dr. Leslie B. Lamport (անգլ.)
  11. ↑ Lamport, Leslie (15 October2019). «My Writings» (անգլերեն).
  12. ↑ Lamport, L. (1978). «Time, clocks, and the ordering of events in a distributed system» (PDF). Communications of the ACM. 21 (7): 558–565. doi:10.1145/359545.359563.
  13. ↑ «PODC Influential Paper Award: 2000», ACM Symposium on Principles of Distributed Computing, Արխիվացված է օրիգինալից 2013 թ․ հուլիսի 9-ին, Վերցված է 2009 թ․ օգոստոսի 24-ին
  14. ↑ «The Hall of Fame Award․ Nomination Deadline․ 2013». sigops.
  15. ↑ 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
  16. ↑ 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
  17. ↑ «Edsger W. Dijkstra Prize in Distributed Computing: 2005», ACM Symposium on Principles of Distributed Computing, Վերցված է 2009 թ․ օգոստոսի 24-ին
  18. ↑ 18,0 18,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
  19. ↑ 2014 Edsger W. Dijkstra Prize in Distributed Computing, Վերցված է 2014 թ․ հունիսի 17-ին
  20. ↑ Lamport, Leslie (1998 թ․ մայիս). «The Part-Time Parliament». ACM Transactions on Computer Systems. 16 (2): 133–169. doi:10.1145/279227.279229. Վերցված է 2007 թ․ փետրվարի 2-ին.
  21. ↑ անգլ.՝ Institute of Electrical and Electronics Engineers, Էլեկտրոտեխնիկայի և էլեկտրոնիկայի ինժեներների ինստիտուտ
  22. ↑ «IEEE-LEVEL AWARDS» (PDF).
  23. ↑ 23,0 23,1 Премия Тьюринга 2013
  24. ↑ «IEEE John von Neumann Medal Recipients».
  25. ↑ «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=9745683» էջից