Hopp til innhold

Leslie Lamport

Fra Wikipedia, den frie encyklopedi
Leslie Lamport
Født7. feb. 1941[1]Rediger på Wikidata (83 år)
New York
BeskjeftigelseMatematiker, informatiker, programmerer, ingeniør, skribent Rediger på Wikidata
Akademisk gradMaster of Science (1963) (studieretning: matematikk)
ph.d. (1972) (studieretning: matematikk)
Utdannet vedMassachusetts Institute of Technology (akademisk grad: Bachelor of Science, studieretning: matematikk)
Brandeis-universitetet (studieretning: matematikk, akademisk grad: ph.d., Master of Science)
The Bronx High School of Science
Doktorgrads-
veileder		Richard Palais
NasjonalitetUSA
Medlem avNational Academy of Sciences (2011–)
American Academy of Arts and Sciences
Association for Computing Machinery (2015–) (ACM Fellow)[2]
Utmerkelser
12 oppføringer
Dijkstra Prize (2000)
John-von-Neumann-medaljen (2008)[3]
Turing-prisen (2013)[4][5]
IEEE Emanuel R. Piore Award (2004)[6]
Honorary doctor of the University of Rennes I (2003)[7]
Honorary doctor of the École polytechnique fédérale de Lausanne
ACM Fellow (2014)[8][2]
Dijkstra Prize (2005)
Dijkstra Prize (2014)
Æresdoktor ved Christian-Albrechts-Universität zu Kiel (2003)
Honorary doctor of the École polytechnique fédérale de Lausanne (2004)
Æresdoktor (2007) (deles ut av: Henri Poincaré University, Università della Svizzera italiana)
ArbeidsstedMITRE Corporation (1962–1965)
Digital Equipment Corporation (1985–2001)
SRI International (1977–1985)
Microsoft Research (2001–)
FagfeltInformatikk, distribuert databehandling
Kjent forDistribuert databehandling
LaTeX[9]
TLA+
temporal logic of actions
Paxos[9]
Leslie Lamport på Commons

Leslie B. Lamport (født 7. februar 1941) er en amerikansk informatiker. Lamport er mest kjent for sitt banebrytende arbeid med distribuerte databehandlingssystemer og som den opprinnelige utvikleren av tekstbehandlingsverktøyet LaTeX.[10]

Leslie Lamport vant i 2013 Turing-prisen[11] for å finne frem til klart definerte sammenhenger ved den tilsynelatende kaotiske oppførselen til distribuerte databehandlingssystemer. Han utarbeidet viktige algoritmer, utviklet formelle modeller og verifiserte protokoller som forbedret kvaliteten på distribuerte databehandlingssystemer. Disse bidragene har resultert i forbedret nøyaktighet, ytelse og stabilitet for datasystemer.[12][13][14]

Tidlig liv og utdanning

[rediger | rediger kilde]

Lamport startet sin formelle utdannelse ved Bronx High School of Science, som ledet til at han tok en bachelorgrad (B.S) i matematikk fra Massachusetts Institute of Technology i 1960, og en mastergrad (M.A) og doktorgrad (Ph. D) i matematikk fra Brandeis University; henholdsvis i 1963 og 1972.[15] Avhandlingen hans var om singularitet i analytisk partielle differensialligninger.[16]

Karriere

[rediger | rediger kilde]

Lamport jobbet som forsker ved Massachusetts Computer Associates fra 1970 til 1977, SRI International fra 1977 til 1985, og Digital Equipment Corporation og Compaq fra 1985 til 2001. I 2001 startet han å jobbe for Microsoft Research i Mountain View, California.

Lamport forskningsbidrag har lagt grunnlaget for teorien om distribuerte databehandlingssystemer. Noen av de forskningsartiklene Lamport har gitt ut er:

  • «Time, Clocks, and the Ordering of Events in a Distributed System», som mottok prisen «PODC Influential Paper Award» i 2000,[17]
  • «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs»,[18] som definerte begrepet «sekvensiell konsistens»,
  • «The Byzantine Generals' Problem»,[19]
  • «Distributed Snapshots: Determining Global States of a Distributed System»[20] og
  • «The Part-Time Parliament».[21]

Disse forskningsartiklene forholder seg til konsepter som logiske klokker og bysantinske feil. De er blant de mest siterte arbeidene innen fagfeltet informatikk[22]

Referanser

[rediger | rediger kilde]
  1. ^ Encyclopædia Britannica Online, Encyclopædia Britannica Online-ID biography/Leslie-Lamport, besøkt 9. oktober 2017[Hentet fra Wikidata]
  2. ^ a b www.acm.org, besøkt 24. juni 2024[Hentet fra Wikidata]
  3. ^ www.ieee.org[Hentet fra Wikidata]
  4. ^ Association for Computing Machinery, «Leslie Lamport», verkets språk engelsk, besøkt 21. januar 2020[Hentet fra Wikidata]
  5. ^ Association for Computing Machinery, «Leslie Lamport - A.M. Turing Award Laureate», verkets språk engelsk, besøkt 21. januar 2020[Hentet fra Wikidata]
  6. ^ www.ieee.org[Hentet fra Wikidata]
  7. ^ www.univ-rennes.fr[Hentet fra Wikidata]
  8. ^ Association for Computing Machinery, «Leslie Lamport», verkets språk engelsk, besøkt 21. januar 2020[Hentet fra Wikidata]
  9. ^ a b «Computing Expert Says Programmers Need More Math | Quanta Magazine», besøkt 7. juni 2022[Hentet fra Wikidata]
  10. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Besøkt 2. februar 2007. 
  11. ^ Lamport, Leslie (2013). «Leslie Lamport - A.M. Turing Award Winner». ACM. 
  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. ^ Savage, N. (2014). «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM. 57 (6): 22–23. doi:10.1145/2601076. 
  14. ^ Hoffmann, L. (2014). «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM. 57 (6): 112–ff. doi:10.1145/2601077. 
  15. ^ Lamport, Leslie (19. desember 2006). «My Writings». Besøkt 2. februar 2007. 
  16. ^ Lamport, Leslie (1972). «The Analytic Cauchy Problem with Singular Data». Besøkt 2. februar 2007. 
  17. ^ Neiger, Gil (23. januar 2003). «PODC Influential Paper Award: 2000». Besøkt 2. februar 2007. 
  18. ^ Lamport, Leslie (1979). «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program». IEEE Trans. Comput. 28 (9): 690–691. doi:10.1109/TC.1979.1675439. 
  19. ^ Lamport, Leslie; Robert Shostak; Marshall Pease (juli 1982). «The Byzantine Generals Problem». ACM Transactions on Programming Languages and Systems. 4 (3): 382–401. doi:10.1145/357172.357176. Besøkt 2. februar 2007. 
  20. ^ Chandy, K. Mani; Leslie Lamport (februar 1985). «Distributed Snapshots: Determining Global States of a Distributed System». ACM Transactions on Computer Systems. 3 (1): 63–75. doi:10.1145/214451.214456. Besøkt 2. februar 2007. 
  21. ^ Lamport, Leslie (mai 1998). «The Part-Time Parliament». ACM Transactions on Computer Systems. 16 (2): 133–169. doi:10.1145/279227.279229. Besøkt 2. februar 2007. 
  22. ^ «Most cited articles in Computer Science». September 2006. Besøkt 8. oktober 2007. 

Eksterne lenker

[rediger | rediger kilde]
Hentet fra «https://no.wikipedia.org/w/index.php?title=Leslie_Lamport&oldid=23805650»