Leslie Lamport

Leslie Lamport
	Leslie Lamport
Född	7 februari 1941 (83 år); New York, USA
Medborgare i	USA
Utbildad vid	Massachusetts Institute of Technology, bachelor of science; Brandeis University, filosofie doktor; Bronx High School of Science
Sysselsättning	Matematiker, ingenjör, programmerare, datavetare, författare
Arbetsgivare	Mitre Corporation (1962–1965); SRI International (1977–1985); Digital Equipment Corporation (1985–2001); Microsoft Research (2001–)
Noterbara verk	distributed computing och Latex
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); Edsger W. Dijkstra Paper Prize in Distributed Computing (2005); Hedersdoktor (2007); IEEE John von Neumann Medal (2008); Turingpriset (2013); ACM Fellow (2014); Edsger W. Dijkstra Paper Prize in Distributed Computing (2014); Hedersdoktor vid École polytechnique fédérale de Lausanne
Webbplats	lamport.org/
	Redigera Wikidata

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

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.^[10]

Referenser

^ Encyclopædia Britannica, Encyclopædia Britannica Online-ID: biography/Leslie-Lamport topic/Britannica-Online, läst: 9 oktober 2017.^{[källa från Wikidata]}
^ Computing Expert Says Programmers Need More Math | Quanta Magazine (på engelska), läs online, läst: 7 juni 2022.^{[källa från Wikidata]}
^ läs online, www.univ-rennes.fr .^{[källa från Wikidata]}
^ läs online, www.ieee.org .^{[källa från Wikidata]}
^ läs online, www.ieee.org .^{[källa från Wikidata]}
^ 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]}
^ Leslie Lamport (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.^{[källa från Wikidata]}
^ Leslie Lamport (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.^{[källa från Wikidata]}
^ läs online, www.acm.org , läst: 24 juni 2024.^{[källa från Wikidata]}
^ [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

Webbplats
Publikationer
Intervju i IEEE Distributed Systems
Intervju: How (La)TeX changed the face of Mathematics från Mitteilungen der Deutschen Mathematiker-Vereinigung i PDF-format

[6cb290480bade75c545f2cb4442beaa9f493d2cd-1] Encyclopædia Britannica, Encyclopædia Britannica Online-ID: biography/Leslie-Lamport topic/Britannica-Online, läst: 9 oktober 2017.^{[källa från Wikidata]}

[d06e32ad13d2530021cf52a3adc024c061661c02-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]}

[e028406039f671b65245395448bde36db9d2ce22-3] äs online, www.univ-rennes.fr .^{[källa från Wikidata]}

[be4b7ac569c056898d466bb98690738b69a00bfc-4] äs online, www.ieee.org .^{[källa från Wikidata]}

[6315d4833c8e13d1358d59a82544e7414b5d3b67-5] äs online, www.ieee.org .^{[källa från Wikidata]}

[6c9d313146ca61fd53d20ebc6b8307e16b0b59f4-6] 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]}

[4a580c2a768e37b2447fcdab53fbdd4605e886c1-7] Leslie Lamport (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.^{[källa från Wikidata]}

[6f99d62ab9360ea39920dcac008f62f44c6e61eb-8] Leslie Lamport (på engelska), Association for Computing Machinery, läs online, läst: 21 januari 2020.^{[källa från Wikidata]}

[456d3edb2028a8bbc1afc6a12e61bc4164c156a1-9] äs online, www.acm.org , läst: 24 juni 2024.^{[källa från Wikidata]}

[acm-10] [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.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

Utmärkelser
Leslie Lamport

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