Leslie Lamport

datavetare och matematiker

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

Leslie Lamport
Född7 februari 1941[1] (83 år)
New York, USA
Medborgare iUSA
Utbildad vidMassachusetts Institute of Technology, bachelor of science
Brandeis University, filosofie doktor
Bronx High School of Science
SysselsättningMatematiker, ingenjör, programmerare, datavetare, författare
ArbetsgivareMitre Corporation (1962–1965)
SRI International (1977–1985)
Digital Equipment Corporation (1985–2001)
Microsoft Research (2001–)
Noterbara verkdistributed computing och Latex[2]
Utmärkelser
Edsger W. Dijkstra Paper Prize in Distributed Computing (2000)
Hedersdoktor vid Kiels universitet (2003)
Hedersdoktor vid université de Rennes I (2003)
Hedersdoktor vid École polytechnique fédérale de Lausanne (2004)
IEEE Emanuel R. Piore Award (2004)[3]
Edsger W. Dijkstra Paper Prize in Distributed Computing (2005)
Hedersdoktor (2006)
Hedersdoktor (2007)
IEEE John von Neumann Medal (2008)[4]
Turingpriset (2013)[5][6]
Edsger W. Dijkstra Paper Prize in Distributed Computing (2014)
ACM Fellow (2014)[7]
Hedersdoktor vid École polytechnique fédérale de Lausanne
Webbplatslamport.org/
Redigera Wikidata

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.[8]

Referenser redigera

  1. ^ Encyclopædia Britannica, Leslie Lamport, läst: 9 oktober 2017.[källa från Wikidata]
  2. ^ Computing Expert Says Programmers Need More Math | Quanta Magazine (på engelska), läs online, läst: 7 juni 2022.[källa från Wikidata]
  3. ^ läs online, www.ieee.org.[källa från Wikidata]
  4. ^ läs online, www.ieee.org.[källa från Wikidata]
  5. ^ Leslie Lamport - A.M. Turing Award Laureate (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.[källa från Wikidata]
  6. ^ Leslie Lamport (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.[källa från Wikidata]
  7. ^ Leslie Lamport (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.[källa från Wikidata]
  8. ^ [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