Lamport, Leslie

Leslie Lamport
angol  Leslie Lamport
Születési dátum	1941. február 7.( 1941-02-07 ) [1] (81 évesen)
Születési hely	New York , New York , USA
Ország	USA
Tudományos szféra	informatika és elosztott számítástechnika
Munkavégzés helye	Mitre Corporation [d] Digital Equipment Corporation SRI International [d] Microsoft Research
alma Mater	MIT Brandeis Egyetem Középiskola (Bronx) felsőfokú tanulmányokkal [d]
Akadémiai fokozat	M.Sc. [d] (1963) ésPh.D.(1972)
tudományos tanácsadója	Richard Palais [d]
Díjak és díjak	Dijkstra-díj ( 2000 ) Neumann János-érem ( 2008 ) Turing-díj ( 2013 ) Emanuel Pior-díj ( 2004 ) tiszteletbeli doktori cím a Rennes-i Egyetemen I [d] ( 2003 ) A Lausanne-i Szövetségi Politechnikai Iskola tiszteletbeli doktora [d] Fello ACM ( 2014 ) Dijkstra-díj ( 2005 ) Dijkstra-díj ( 2014 ) a Kieli Egyetem tiszteletbeli doktora [d] ( 2003 ) díszdoktor ( 2006 ) díszdoktor ( 2007 ) a Lausanne-i Szövetségi Politechnikai Iskola tiszteletbeli doktora [d] ( 2004 )
Weboldal	lampport.org
Idézetek a Wikiidézetben
Médiafájlok a Wikimedia Commons oldalon

Leslie Lamport ( eng.  Leslie Lamport ; 1941. február 7., New York , New York ) amerikai informatikus, a Dijkstra-díj első nyertese . A LaTeX , a TeX  számítógépes elrendezési rendszer népszerű makróbővítményeinek fejlesztője , az elosztott rendszerek elméletének , az időbeli logikának és a folyamatok szinkronizálásának problémáinak kutatója az interaktív rendszerekben. Turing- díjas 2013.

Tagja az Egyesült Államok Nemzeti Tudományos Akadémiájának (2011) [2] , az US National Academy of Engineering (1991) [3] .

Életrajz

A bronxi középiskolát ( Bronx High School of Science ) érettségizett , 1960-ban a Massachusetts Institute of Technology - n matematikából szerzett bachelor fokozatot . MA (1963) és PhD (1972) fokozatot szerzett a Brandeis Egyetemen [4] .

Az 1970-es évektől a Massachusetts Institute of Technology -nál , az SRI International -nél , a DEC -nél és a Compaq -nál dolgozik, 2001 óta a Microsoft Research munkatársa .

Lamport kutatásai megalapozták az elosztott rendszerek elméletét . Leghíresebb művei közé tartozik:

• "Idő, órák és az események sorrendje elosztott rendszerben" [5] . Ez a munka elnyerte a 2000-es PODC Influential Paper Award díjat 2000-ben és a 2007-es ACM SIGOPS Hall of Fame Award díjat.
• "Hogyan készítsünk többprocesszoros számítógépet, amely megfelelően hajtja végre a többfolyamatos programokat" [6] , amely meghatározta a szekvenciális konzisztenciát ,
• "A bizánci tábornokok problémája" [7] ,
• "Elosztott pillanatképek: Az elosztott rendszer globális állapotainak meghatározása" [8] és
• "A részmunkaidős parlament" [9] .

Díjak és díjak

• Díszdoktorok: University of Rennes I (Franciaország, 2003), Christian Albrecht Egyetem (Németország, 2003), Lausanne Szövetségi Műszaki Iskola (Svájc, 2004), Luganói Egyetem (Svájc, 2006).
• 2000 – Dijkstra-díj
• 2004 – IEEE Emanuel Pior-díj a párhuzamos programozás és a hibatűrő számítástechnika elméletének és gyakorlatának fejlesztéséhez való hozzájárulásért [10] .
• 2005 Dijkstra-díj a hibák jelenlétében való megegyezésért [11] .
• 2008 – IEEE John von Neumann -érem az elosztott és párhuzamos számítástechnika elméletéhez való alapvető hozzájárulásért.
• 2013 – Turing-díj az elosztott rendszerek elméletéhez való alapvető hozzájárulásért [10] .
• 2014 – Dijkstra-díj .
• 2019 – C&C-díj .

Lásd még

• Lamport időbélyegek (Lamport óra, a logikai óra első változata )
• Paxos algoritmus
• A bizánci tábornokok feladata
• Lamport aláírása

Jegyzetek

1. ↑ Leslie Lamport // Encyclopædia Britannica 
2. ↑ Leslie B. Lamport archiválva : 2019. január 6. a Wayback Machine -nél  
3. ↑ Dr. Leslie B. Lamport archiválva : 2019. január 6. a Wayback Machine -nél  
4. ↑ Leslie Lamport írásai . Letöltve: 2010. október 14. Az eredetiből archiválva : 2011. augusztus 5.. (határozatlan)
5. ↑ Az ACM közleményei 21, 7 (1978. július), 558-565. Több gyűjteményben újranyomva, köztük a Distributed Computing: Concepts and Implementations, McEntire et al., szerk. IEEE Press, 1984.
6. ↑ Lamport, Leslie. Hogyan készítsünk többprocesszoros számítógépet, amely megfelelően végrehajtja a többfolyamatos programot  // IEEE Trans  . Comput. : folyóirat. - 1979. - 1. évf. 28 , sz. 9 . - P. 690-691 . — ISSN 0018-9340 . - doi : 10.1109/TC.1979.1675439 .
7. ↑ Lamport, Leslie; Robert Shostak; Marshall Pease. A bizánci tábornokok problémája  // ACM-tranzakciók programozási nyelveken és  rendszereken : folyóirat. - 1982. - július ( 4. köt. , 3. sz.). - P. 382-401 . - doi : 10.1145/357172.357176 .
8. ↑ Chandy, K. Mani; Leslie Lamport. Elosztott pillanatképek: Az elosztott rendszer globális állapotainak meghatározása  // ACM-  tranzakciók számítógépes rendszereken : folyóirat. - 1985. - február ( 3. köt . 1. sz .). - 63-75 . o . - doi : 10.1145/214451.214456 .
9. ↑ Lamport, Leslie. A részmunkaidős parlament  (neopr.)  // ACM-tranzakciók számítógépes rendszereken. - 1998. - május ( 16. évf. 2. szám ). - S. 133-169 . - doi : 10.1145/279227.279229 .
10. ↑ 12 Turing -díj 2013 .
11. ↑ Pease, Marshall; Robert Shostak, Leslie Lamport. Reaching Agreement in the Presence of Faults  (angol)  // Journal of the Association for Computing Machinery  : Journal. - 1980. - április ( 27. évf. , 2. sz.).

Linkek

• lamport.org - Leslie Lamport hivatalos weboldala
• ACM. Turing-díj 2013 (2014. március 18.). (határozatlan)

Tematikus oldalak	Matematikai genealógia Scopus zbMATH Nyitva
Szótárak és enciklopédiák	Britannica (online)
Bibliográfiai katalógusokban BIBSYS: 90401042 BNF : 12572554j CONOR : 32976739 GND : 170465918 ISNI : 0000 0000 6307 3806 J9U : 987007452666005171 LCCN : n85197221 NDL : 00470060 NLP : A11556766 NUKAT : n93129494 SUDOC : 035040696 VIAF : 44417132 WorldCat VIAF : 44417132