www.wikidata.de-de.nina.az
Leslie Lamport 7 Februar 1941 in New York 1 ist ein US amerikanischer Mathematiker Informatiker und Programmierer 2013 erhielt er den Turing Award fur seine Beitrage zur Theorie und Praxis verteilter und nebenlaufiger Systeme Leslie Lamport Inhaltsverzeichnis 1 Leben 2 Werk 3 Schriften 4 Auszeichnungen 5 Weblinks 6 EinzelnachweiseLeben BearbeitenLamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab 1962 bis 1965 arbeitete er in Teilzeit fur die Mitre Corporation 1963 erlangte er an der Brandeis University zunachst einen MA Abschluss Master of Arts und wurde 1972 bei Richard Palais in Mathematik promoviert The Analytic Cauchy Problem with Singular Data 2 Lamport war 1965 bis 1969 Professor fur Mathematik am Marlboro College und arbeitete 1970 bis 1977 fur Massachusetts Computer Associates 1977 bis 1985 war er bei SRI International und 1985 bis 2001 bei der Digital Equipment Corporation Compaq als Senior Consulting Engineer Seit 2001 arbeitet er fur Microsoft Research Werk BearbeitenLamport ist als Entwickler von LaTeX bekannt In der Theoretischen Informatik hat er unter anderem in folgenden Bereichen geforscht In der Formalen Semantik beschaftigte er sich mit Korrektheitsbeweisen fur Parallele Algorithmen Im Bereich Verteilte Systeme untersuchte er vor allem die Prozesssynchronisation siehe auch Lamport Uhr Sequentielle Konsistenz Schnappschussalgorithmus Byzantinischer Fehler In die Temporale Logik fuhrte er die Temporale Logik der Aktionen TLA ein In der Kryptologie entwickelte er 1979 zusammen mit Whitfield Diffie das Lamport Einmal Signaturverfahren Schriften BearbeitenLaTeX a document preparation system Addison Wesley 1986 2 Auflage 1994 Specifying systems the TLA language and tools for hardware and software engineers Addison Wesley 2003 Time Clocks and the Ordering of Events in a Distributed System Erstmals veroffentlicht in Communications of the ACM 21 7 July 1978 S 558 565 Neu aufgelegt u a in Distributed Computing Concepts and Implementations McEntire et al ed IEEE Press 1984 The Writings of Leslie Lamport kommentierte Liste der Veroffentlichungen von Leslie LamportAuszeichnungen BearbeitenMitglied der National Academy of Engineering 1991 PODC Influential Paper Award 2000 heute Dijkstra Preis Ehrendoktor Universitat Rennes 1 2003 Ehrendoktor Christian Albrechts Universitat zu Kiel 2003 Ehrendoktor Ecole polytechnique federale de Lausanne 2004 Ehrendoktor Universita della Svizzera italiana Lugano 2006 IEEE Emanuel R Piore Award 2004 Dijkstra Preis 2005 Ehrendoktor Universite Henri Poincare Nancy 2007 IEEE John von Neumann Medaille 2008 Mitglied der National Academy of Sciences 2011 ACM A M Turing Award 2013 Dijkstra Preis 2014 Mitglied der American Academy of Arts and Sciences 2014 Fellow des Computer History Museum 2019 Weblinks BearbeitenLeslie Lamports Home Page englisch Hall of Fame der University of Pittsburgh englisch Videos von und uber Leslie Lamport im AV Portal der Technischen InformationsbibliothekEinzelnachweise Bearbeiten Lebensdaten nach American Men and Women of Science Thomson Gale 2004 Leslie Lamport im Mathematics Genealogy Project englisch Vorlage MathGenealogyProject Wartung id verwendetTrager des Turing Awards 1966 Perlis 1967 Wilkes 1968 Hamming 1969 Minsky 1970 Wilkinson 1971 McCarthy 1972 Dijkstra 1973 Bachman 1974 Knuth 1975 Newell Simon 1976 Rabin Scott 1977 Backus 1978 Floyd 1979 Iverson 1980 Hoare 1981 Codd 1982 Cook 1983 Thompson Ritchie 1984 Wirth 1985 Karp 1986 Hopcroft Tarjan 1987 Cocke 1988 Sutherland 1989 Kahan 1990 Corbato 1991 Milner 1992 Lampson 1993 Hartmanis Stearns 1994 Feigenbaum Reddy 1995 Blum 1996 Pnueli 1997 Engelbart 1998 Gray 1999 Brooks 2000 Yao 2001 Dahl Nygaard 2002 Rivest Shamir Adleman 2003 Kay 2004 Cerf Kahn 2005 Naur 2006 Allen 2007 Clarke Emerson Sifakis 2008 Liskov 2009 Thacker 2010 Valiant 2011 Pearl 2012 Micali Goldwasser 2013 Lamport 2014 Stonebraker 2015 Diffie Hellman 2016 Berners Lee 2017 Hennessy Patterson 2018 Hinton LeCun Bengio 2019 Catmull Hanrahan 2020 Aho Ullman 2021 Dongarra 2022 Metcalfe Normdaten Person GND 170465918 lobid OGND AKS LCCN n85197221 NDL 00470060 VIAF 44417132 Wikipedia Personensuche PersonendatenNAME Lamport LeslieKURZBESCHREIBUNG US amerikanischer Mathematiker Informatiker und Programmierer und Entwickler von LaTeXGEBURTSDATUM 7 Februar 1941GEBURTSORT New York Abgerufen von https de wikipedia org w index php title Leslie Lamport amp oldid 235695323