Leslie Lamport

Från Wikipedia
Hoppa till navigering Hoppa till sök
Leslie Lamport
Leslie Lamport.jpg
Född7 februari 1941[1] (78 år)
New YorkUSA
MedborgarskapUSA
Utbildad vidMassachusetts Institute of Technology, Brandeis University och Bronx High School of Science Blue pencil.svg
SysselsättningMatematiker, ingenjör, programmerare, datavetare, skribent
ArbetsgivareMitre Corporation (1962–1965)
SRI International (1977–1985)
Digital Equipment Corporation (1985–2001)
Microsoft Research (2001–)
Noterbara verkdistributed computing och Latex
UtmärkelserEdsger W. Dijkstra Paper Prize in Distributed Computing (2000)
IEEE John von Neumann Medal (2008)
Turingpriset (2013)[2][3]
IEEE Emanuel R. Piore Award (2004)
Hedersdoktor vid université de Rennes I (2003)
Hedersdoktor vid École polytechnique fédérale de Lausanne
ACM Fellow (2014)[4]
Edsger W. Dijkstra Paper Prize in Distributed Computing (2005)
Edsger W. Dijkstra Paper Prize in Distributed Computing (2014)
Hedersdoktor (2003)
Hedersdoktor (2006)
Hedersdoktor (2007)
Webbplatslamport.org/
Redigera Wikidata

Leslie Lamport, född 7 februari 1941 i New York, är en amerikansk datavetare och matematiker.[5]

Lamport är mest känd för sin forskning inom distribuerade system och realtidssystem (bland annat på grund av sin artikel Time, Clocks, and the Ordering of Events in a Distributed System från 1978). Han är också upphovsman till den välkända TeX-utökningen LaTeX. Han själv tror dock att det han kommer att bli ihågkommen för om hundra år är hans förslag till ett nytt sätt att skriva matematiska bevis. Han menar att det nuvarande sättet knappt har ändrats på 300 år och varken är lättläst eller strukturerat.[källa behövs]

Leslie tog 1960 en bachelorexamen i matematik från Massachusetts Institute of Technology och fortsatte sedan på Brandeis University där han 1972 doktorerade i samma ämne. Sedan dess har han jobbat på Massachusetts Computer Associates (1970 - 1977), SRI International (1977 - 1985), Digital Equipment Corporation Systems Research Center i Palo Alto (1985 - 2001). Sedan 2001 jobbar Lamport på Microsoft Research i Kalifornien.

2013 tog han emot Turingpriset.[5]

Referenser[redigera | redigera wikitext]

  1. ^ Encyclopædia Britannica, Encyclopædia Britannica Online: biography/Leslie-Lamporttopic/Britannica-Online, omnämnd som: Leslie Lamport, läst: 9 oktober 2017
  2. ^ Leslie Lamport - A.M. Turing Award Laureate (på engelska), Association for Computing Machinery, läst: 21 januari 2020
  3. ^ Leslie Lamport (på engelska), Association for Computing Machinery, läst: 21 januari 2020
  4. ^ Leslie Lamport (på engelska), Association for Computing Machinery, läst: 21 januari 2020
  5. ^ [a b] Malkhi, Dahlia. ”Leslie Lamport - A.M. Turing Award Laureate” (på engelska). Association for Computing Machinery. https://amturing.acm.org/award_winners/lamport_1205376.cfm. Läst 21 januari 2020. 

Externa länkar[redigera | redigera wikitext]