Leslie Lamport, född 7 februari 1941 i New York, är en amerikansk datavetare och matematiker. Lamport är mest känd för sin banbrytande 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 och författaren till dess första manual. 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.

Lamport vann Turingpriset 2013 för att ha infört tydlig, väldefinierad koherens i det till synes kaotiska beteendet hos distribuerade datorsystem, där flera autonoma datorer kommunicerar med varandra genom att skicka meddelanden. Han utarbetade viktiga algoritmer och utvecklade formella modellerings- och verifieringsprotokoll som förbättrar kvaliteten på verkliga distribuerade system. Dessa bidrag har resulterat i förbättrad korrekthet, prestanda och tillförlitlighet hos datorsystem.Leslie Lamport publications indexed by Microsoft Academic

Biografi Lamport föddes i en judisk familj som son till Benjamin och Hannah Lamport (född Lasser). Hans far var en invandrare från Volkovisk i det ryska imperiet (nu Vawkavysk, Vitryssland) och hans mor var en invandrare från det österrikisk-ungerska riket, nu sydöstra Polen.

Lamport tog examen vid Bronx High School of Science och tog en kandidatexamen i matematik vid Massachusetts Institute of Technology år 1960, följt av en magisterexamen (1963) och en doktorsexamen (1972) i matematik vid Brandeis University. Hans avhandling, The analytic Cauchy problem with singular data, handlar om singulariteter i analytiska partiella differentialekvationer.

Karriär och forskning Lamport arbetade som datavetare på Massachusetts Computer Associates från 1970 till 1977, Stanford Research Institute (SRI International) från 1977 till 1985, och Digital Equipment Corporation och Compaq från 1985 till 2001. År 2001 började han på Microsoft Research i Kalifornien, och gick i pension i januari 2025.

Distribuerade system Lamports forskningsbidrag har lagt grunden för teorin om distribuerade system. Bland hans mest notervärda artiklar finns "Time, Clocks, and the Ordering of Events in a Distributed System", som fick Principles of Distributed Computing (PODC) Influential Paper Award år 2000, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs", som definierade begreppet sekventiell konsistens, "Bysantinska generalsproblemet", "Distributed Snapshots: Determining Global States of a Distributed System"och "The Part-Time Parliament".

Dessa artiklar behandlar koncept som logiska klockor (och hände-före-förhållandet) och bysantinska misslyckanden. De är bland de mest citerade artiklarna inom datavetenskap och beskriver algoritmer för att lösa många grundläggande problem i distribuerade system, som: Paxos-algoritmen för konsensus, bagerialgoritmen för ömsesidig uteslutning av flera trådar i ett datorsystem som kräver samma resurser samtidigt, Chandy-Lamport-algoritmen för bestämning av konsistenta globala tillstånd (ögonblicksbild), och Lamport-signaturen, en av prototyperna för den digitala signaturen.

LaTeX När Donald Knuth började ge ut de tidiga utgåvorna av TeX i början av 1980-talet, började Lamport – på grund av sitt personliga behov av att skriva en bok – också arbeta med en uppsättning makron baserade på den, i hopp om att det senare skulle bli deras standardmakropaket. Denna uppsättning makron skulle senare bli känd som LaTeX, för vilket Lamport 1983 kontaktades av Peter Gordon, en Addison-Wesley-redaktör, som föreslog att Lamport skulle göra om sin användarmanual till en bok.

I september 1984 gav Lamport ut version 2.06a av LaTeX-makron, och i augusti 1985 släpptes även LaTeX 2.09 – den sista versionen av Lamports LaTeX. Samtidigt gav Addison-Wesley ut Lamports första LaTeX-användarmanual, LaTeX: A Document Preparation System, 1986, som påstås ha sålt "mer än några hundratusentals" exemplar, och den 21 augusti 1989, vid ett TeX-användargruppsmöte på Stanford, gick Lamport med på att överlåta underhållet och utvecklingen av LaTeX till Frank Mittelbach, som tillsammans med Chris Rowley och Rainer Schöpf skulle bilda LaTeX3-teamet, och därefter släppte LaTeX 2e, den nuvarande (2020) versionen av LaTeX, 1994.

Temporal logik Lamport är också känd för sitt arbete med temporal logik, där han introducerade den temporala handlingslogiken (TLA). Bland hans senare bidrag finns TLA+, ett språk för att specificera och resonera kring samtidiga och reaktiva system, vilket han beskriver i boken Specificing Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Han definierar TLA+ som ett "quixotiskt försök att övervinna ingenjörers antipati mot matematik".

Priser och utmärkelser Lamport fick Turingpriset 2013 för "grundläggande bidrag till teorin och praktiken kring distribuerade och samtidiga system, särskilt uppfinningen av koncept som kausalitet och logiska klockor, säkerhet och livskraft, replikerade tillståndsmaskiner och sekventiell konsistens", vilka kan användas för att synkronisera systemen. Han valdes in i National Academy of Engineering 1991 för bidrag till de teoretiska grunderna för samtidig och feltolerant databehandling. Han valdes till ledamot av Association for Computing Machinery för grundläggande bidrag till teori och praktik kring distribuerade och samtidiga system år 2014.Leslie Lamport ACM Fellows 2014 Han fick också fem hedersdoktorat vid europeiska universitet: Rennes universitet och Christian- Albrechts-Universitet i Kiel år 2003, École polytechnique fédérale de Lausanne (EPFL) år 2004, Luganos universitet år 2006 och Nancy-Université år 2007. År 2004 fick han IEEE Emanuel R. Piore-priset. År 2005 fick artikeln "Reaching Agreement in the Presence of Faults" Dijkstra-priset. För att hedra Lamports sextioårsdag organiserades en föreläsningsserie vid det 20:e symposiet om principer för distribuerad databehandling (PODC 2001). År 2008 fick han IEEE John von Neumann-medaljen. År 2011 valdes han in i National Academy of Sciences.Members and Foreign Associates Elected , National Academy of Sciences, May 3, 2011.

Referenser

Noter

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

Kategori:Amerikanska datavetare Kategori:Amerikanska matematiker under 1900-talet Kategori:Amerikanska matematiker under 2000-talet Kategori:Amerikanska ingenjörer under 1900-talet Kategori:Amerikanska ingenjörer under 2000-talet Kategori:Amerikanska forskare under 2000-talet Kategori:Personer med anknytning till Microsoft Kategori:Personer inom fri programvara och öppen källkod Kategori:Forskare från New York Kategori:TeX Kategori:Födda 1941 Kategori:Män Kategori:Levande personer Kategori:Alumner från Massachusetts Institute of Technology Kategori:Alumner från Brandeis University Kategori:Ledamöter av National Academy of Sciences