Leslie Lamport
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.[9]
| Leslie Lamport | |||
|---|---|---|---|
 | |||
| Født | 7. feb. 1941[1] (83 år)New York | ||
| Beskjeftigelse | Matematiker, informatiker, programmerer, ingeniør, skribent | ||
| Akademisk grad | Master of Science (1963) (studieretning: matematikk) ph.d. (1972) (studieretning: matematikk) | ||
| Utdannet ved | Massachusetts Institute of Technology (studieretning: matematikk, akademisk grad: Bachelor of Science) Brandeis-universitetet (akademisk grad: ph.d., Master of Science, studieretning: matematikk) The Bronx High School of Science | ||
| Doktorgrads- veileder | Richard Palais | ||
| Nasjonalitet | USA | ||
| Medlem av | National Academy of Sciences (2011–) American Academy of Arts and Sciences Association for Computing Machinery (2015–) (ACM Fellow)[2] | ||
| Utmerkelser | 13 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) Honorary doctor of the École polytechnique fédérale de Lausanne ACM Fellow (2014)[7][2] Dijkstra Prize (2005) Dijkstra Prize (2014) Æresdoktor ved Christian-Albrechts-Universität zu Kiel (2003) Æresdoktor (2006) (av: Università della Svizzera italiana) Æresdoktor (2007) (av: Henri Poincaré University) Honorary doctor of the École polytechnique fédérale de Lausanne (2004) | ||
| Arbeidssted | MITRE Corporation (1962–1965) Digital Equipment Corporation (1985–2001) SRI International (1977–1985) Microsoft Research (2001–) | ||
| Fagfelt | Informatikk, distribuert databehandling | ||
| Kjent for | Distribuert databehandling LaTeX[8] TLA+ temporal logic of actions Paxos[8] | ||
Leslie Lamport vant i 2013 Turing-prisen[10] 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.[11][12][13]
Tidlig liv og utdanning
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.[14] Avhandlingen hans var om singularitet i analytisk partielle differensialligninger.[15]
Karriere
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,[16]
- «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs»,[17] som definerte begrepet «sekvensiell konsistens»,
- «The Byzantine Generals' Problem»,[18]
- «Distributed Snapshots: Determining Global States of a Distributed System»[19] og
- «The Part-Time Parliament».[20]
Disse forskningsartiklene forholder seg til konsepter som logiske klokker og bysantinske feil. De er blant de mest siterte arbeidene innen fagfeltet informatikk[21]
Referanser
Eksterne lenker
- Offisielt nettsted
- (en) Leslie Lamport – kategori av bilder, video eller lyd på Commons
- (en) Leslie Lamport – galleri av bilder, video eller lyd på Commons
