Leslie Lamport

Leslie Lamport Obrázek v Infoboxu. Životopis
Narození 7. února 1941
New York
Státní příslušnost americký
Výcvik Massachusetts Institute of Technology ( BSc )
Brandeis University ( Philosophy doctor and MSc )
Bronx High School of Science
Činnosti Matematik , počítačový vědec , programátor , inženýr , spisovatel
Jiná informace
Pracoval pro MITER (1962-1965) , SRI International (1977-1985) , Digital Equipment Corporation (1985-2001) , Microsoft Research (od2001)
Oblasti IT , distribuované výpočty
Člen Americká akademie umění a věd
Americká akademie věd (2011)
Dozorce Richard Palace
webová stránka www.lamport.org
Ocenění Turingova cena (2013)
Primární práce
Distribuované výpočty , LaTeX , TLA + , časová logika akcí ( d )

Leslie B. Lamport , narozen dne7. února 1941v New Yorku , je výzkumný pracovník v oblasti výpočetní techniky v USA , specialista na algoritmickou distribuci . Získal Turingovu cenu za rok 2013. Je návrhářem bezplatného softwaru pro tvorbu dokumentů LaTeX ( 1983 ).

Kariéra

Studoval matematiku na Massachusetts Institute of Technology (MIT) a pak na Brandeis University kde získal svůj titul Ph.D. (doktorát) v matematice v roce 1972. Pracoval v Massachusetts Computer Associates od roku 1970 do roku 1977, pak na SRI International z roku 1977 do roku 1985 a v Digital Equipment Corporation Systems Research Center od roku 1985 do roku 2001. Od roku 2001 pracoval ve společnosti Microsoft Research .

Funguje

Algoritmus pekárny

Algoritmus pekárny je algoritmus, který poskytuje „pozoruhodně intuitivní a přirozené“ řešení problému vzájemného vyloučení formulovaného Dijkstrou . Předchozí řešení navržené společností Dijkstra bylo řešením vysoké úrovně problému na nízké úrovni.

Distribuované systémy

Lamport je někdy označován jako otec distribuovaného počtu . Zejména v roce 1979 formuloval  vztah „  stalo se před “ (anglicky „  stalo se dříve  “), který umožňuje získat částečný rozkaz akcí v distribuovaných systémech. Lamport také vynalezl hodinový systém, který nese jeho jméno . Používají se k synchronizaci distribuovaných systémů. Pracoval také na některých kryptografických aspektech, jako jsou jednorázová hesla a další problémy týkající se konsensu a konkurence v sítích . Zajímal se také o problém konsensu , zejména o protokol Paxos .

Latex

Leslie Lamport je však mimo vědeckou komunitu IT nejznámější jako tvůrce LaTeXu (založeného na TeXu , Donalda Knutha ), systému rozvržení dokumentů, který používají zejména vědci z mnoha oborů (informatika, matematika , fyzika , bioinformatika …) pro dokumenty obsahující mnoho matematických vzorců. Od té doby vývoj LaTeXu provádějí jiní.

Vyznamenání a ocenění

Leslie Lamport získala v letech 2000, 2005 a 2014 třikrát cenu Dijkstra a medaili Johna von Neumanna v roce 2008 . Je držitelem titulu doctor honoris causa uděleného univerzitou v Rennes 1 v roce 2003, Christian Albrecht University v Kielu v roce 2003, dále Federální polytechnickou školou v Lausanne v roce 2004, univerzitou v italském Švýcarsku. V roce 2006 , a Henri Poincaré University v roce 2007.

The 18. března 2014, získává Turingovu cenu za rok 2013 za „své základní teoretické a aplikované příspěvky v distribuovaných a souběžných systémech, zejména za vymýšlení konceptů, jako je kauzalita a logické hodiny, […] a sekvenční soudržnost“.

Bibliografie

Reference

  1. (in) „  Leslie Lamport  “ na webových stránkách projektu Mathematics Genealogy Project .
  2. http://amturing.acm.org/award_winners/lamport_1205376.cfm .
  3. lístek od Michela Raynala na blogu Binary of the World (22. března 2014).
  4. Viz stránka Dijkstra Prize na webu EATCS .
  5. Michel Raynal, „  Pohled na příspěvky Leslie Lamportové prostřednictvím ceny Dijkstra  “, Bulletin de la société informatique de France ,března 2015, str.  61-65 ( číst online )
  6. „  IEEE John von Neumann Medal Recipients  “ , IEEE (přístup k 15. březnu 2010 ) .
  7. „  Leslie Lamport, počítačový vědec v oblacích  “ , na lemonde.fr ,16. června 2014(zpřístupněno 11. července 2018 )
  8. „  Leslie Lamport, muž, který učil počítače spolupracovat  “ , na lesechos.fr ,30. května 2014(zpřístupněno 11. července 2018 )

Dodatky

Související články

externí odkazy