Leslie Lamport

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

Leslie Lamport
Född	7 februari 1941[1] (84 å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]
Utmärkelser
Edsger W. Dijkstra Paper Prize in Distributed Computing (2000)[3] Hedersdoktor vid Kiels universitet (2003) Hedersdoktor vid université de Rennes I (2003)[4] Hedersdoktor vid École polytechnique fédérale de Lausanne (2004) IEEE Emanuel R. Piore Award (2004)[5] Edsger W. Dijkstra Paper Prize in Distributed Computing (2005)[6] Hedersdoktor (2007) IEEE John von Neumann Medal (2008)[7] Turingpriset (2013)[8][9] ACM Fellow (2014)[10][11] Edsger W. Dijkstra Paper Prize in Distributed Computing (2014) Hedersdoktor vid École polytechnique fédérale de Lausanne
Webbplats	lamport.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.^[12]