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

Լեսլի Լեմպորտ (, ), համակարգչային գիտության ամերիկացի գիտնական, Դեյքստրա մրցանակի առաջին դափնեկիր։ Մշակել է հանրահայտ TeX  համակարգչային տպագրական շարվածքի համակարգի մակրոընդարձակման հավաքածուն, հետազոտել է բաշխված համակարգերի տեսության, ժամանակային տրամաբանության (),  փոխազդող համակարգերում գործընթացների սինխրոնիզացման հարցերը։ Նա առավելապես հայտնի է բաշխիչ համակարգերում իր բեղմնավոր աշխատանքով, ինչպես նաև, որպես LaTeX փաստաթղթերի պատրաստման համակարգի նախնական մշաման և նրա ղեկավարման ձեռնարկի հեղինակ։

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

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

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

Կենսագրություն

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

Գործունեություն 

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

Գիտական աշխատանքներ 

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

Կոչումներ

Պարգևներ

Տես նաև 

 Լեմպորտի ժամացույց (տրամաբանական ժամացույցի առաջին տարբերակն է)
 Պաքսոսի ալգորիթմ
 Բյուզանդական գեներալների խնդիրներ
 Լեմպորտի ստորագրությունը

Պատկերասրահ

Ծանոթագրություններ 

Նյու Յորք քաղաքում ծնվածներ
Մասաչուսեթսի տեխնոլոգիական ինստիտուտի շրջանավարտներ
Թյուրինգի մրցանակակիրներ
ԱՄՆ-ի ինֆորմատիկայի ոլորտի գիտնականներ
ԱՄՆ-ի գիտությունների ազգային ակադեմիայի անդամներ
Ամերիկացի մաթեմատիկոսներ
Ամերիկայի արվեստների և գիտությունների ակադեմիայի անդամներ
Ամերիկացի ծրագրավորողներ
Մաթեմատիկոսներ այբբենական կարգով
20-րդ դարի մաթեմատիկոսներ
Ամերիկացի գիտնականներ
Ամերիկացի ճարտարագետներ