Leslie Lamport
Leslie Lamport (New York, 7 febbraio 1941) è un matematico e informatico statunitense.
È noto per essere stato pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, nonché ideatore di LaTeX, un'estensione del software tipografico TeX.[1]
Formazione accademica
[modifica | modifica wikitesto]Si diploma al Bronx High School of Science. Nel 1960 ottiene il Bachelor's degree in matematica al MIT. Nel 1963 ottiene il Master's degree in matematica alla Brandeis University. Nel 1972 ottiene il Ph.D. in matematica alla Brandeis University.[2] La dissertazione fu sulle singolarità nelle equazioni alle derivate parziali analitiche.[3]
La ricerca
[modifica | modifica wikitesto]Sistemi distribuiti
[modifica | modifica wikitesto]La ricerca compiuta da Lamport ha gettato le basi della teoria dei sistemi distribuiti: tra i suoi lavori più degni di nota ricordiamo:
- Time, Clocks, and the Ordering of Events in a Distributed System;[4] che ha ricevuto il premio PODC Influential Paper nel 2000,[5]
- The Byzantine Generals Problem;[6]
- Distributed Snapshots: Determining Global States of a Distributed System[7]
- The Part-Time Parliament.[8]
Questi articoli trattano concetti quali orologi logici (e la relazione happened-before) e i Fallimenti Bizantini, e sono tra i lavori più citati nei campo dei sistemi distribuiti [senza fonte], dato che descrivono algoritmi per risolvere molti problemi fondamentali di questa disciplina, tra cui:
- l'algoritmo di Paxos per il consenso;
- l'algoritmo di Lamport del fornaio per la mutua esclusione di thread multipli in un sistema di computer che richiedono le stesse risorse contemporaneamente;
- l'algoritmo di Chandy-Lamport per la determinazione di stati globali consistenti.
La logica
[modifica | modifica wikitesto]Lamport è inoltre conosciuto per gli studi sulla logica temporale, nella quale ha introdotto la Logica Temporale delle Azioni (Temporal Logic of Actions - TLA)[9][10] Tra i suoi contributi più recenti abbiamo TLA+, una logica per l'analisi e la descrizione di sistemi concorrenti e reattivi, descritta nel libro: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers.[11]
A Lamport è attribuito il seguente aforisma sui sistemi distribuiti:
«A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.»
«Un sistema distribuito è uno in cui il guasto di un computer che non sapevi nemmeno esistere può rendere il tuo computer inutilizzabile.»
in quanto in una sua e-mail affermò [12] che si trattava di una definizione adottata al DEC Systems Research Center.
Riconoscimenti onorari
[modifica | modifica wikitesto]Nel 2014 Lamport ha ricevuto il premio Turing per i "contributi fondamentali alla teoria e alla pratica dei sistemi distribuiti e concorrenti, in particolare per l'invenzione di concetti quali causalità, orologi logici, safety e liveness, le replicated state machines, e la consistenza sequenziale".[13]
Ha anche ricevuto quattro dottorati onorari da università europee:
- dall'Università di Rennes nel 2003;
- dall'università di Kiel nel 2003;
- dalla EPFL nel 2004;
- dall'Università della Svizzera italiana nel 2006.[2]
Nel 2004 ha inoltre ricevuto il premio Piore della IEEE.[14]
Nel 2005, l'articolo Reaching Agreement in the Presence of Faults[15] ha ricevuto il Premio Dijkstra.[16]
Il lavoro di Lamport
[modifica | modifica wikitesto]Lamport ha lavorato come informatico per varie società: Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, e alla Compaq. Nel 2001 entrò a far parte del Microsoft Research a Mountain View.[2]
Note
[modifica | modifica wikitesto]- ^ (EN) Leslie Lamport, LaTeX: A Document Preparation System, su research.microsoft.com, Addison-Wesley, 1986, ISBN 0-201-15790-X. URL consultato il 2 febbraio 2007.
- ^ a b c Leslie Lamport, My Writings, su research.microsoft.com, 19 dicembre 2006. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport, The Analytic Cauchy Problem with Singular Data, 1972. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport, Time, Clocks and the Ordering of Events in a Distributed System, in Communications of the ACM, vol. 21, n. 7, luglio 1978, pp. 558–565. URL consultato il 2 febbraio 2007.
- ^ Gil Neiger, PODC Influential Paper Award: 2000, su podc.org, 23 gennaio 2003. URL consultato il 2 febbraio 2007 (archiviato dall'url originale il 9 luglio 2013).
- ^ Leslie Lamport, Robert Shostak, Marshall Pease, The Byzantine Generals Problem, in ACM Transactions on Programming Languages and Systems, vol. 4, n. 3, luglio 1982, pp. 382–401. URL consultato il 2 febbraio 2007.
- ^ K. Mani Chandy, Leslie Lamport, Distributed Snapshots: Determining Global States of a Distributed System, in ACM Transactions on Computer Systems, vol. 3, n. 1, febbraio 1985, pp. 63–75. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport, The Part-Time Parliament, in ACM Transactions on Computer Systems, vol. 16, n. 2, maggio 1998, pp. 133–169. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport, A Temporal Logic of Actions, 1º aprile 1990. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport, The Temporal Logic of Actions, in ACM Transactions on Programming Languages and Systems, vol. 16, n. 3, maggio 1994, pp. 872–923. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley, 2002, ISBN 0-321-14306-X. URL consultato il 2 febbraio 2007.
- ^ http://lamport.azurewebsites.net/pubs/pubs.html#distributed-system
- ^ Turing award 2013, su amturing.acm.org, ACM.
- ^ IEEE Emanuel R. Piore Award Recipients, su ieee.org. URL consultato il 2 febbraio 2007.
- ^ Marshall Pease, Robert Shostak, Leslie Lamport, Reaching Agreement in the Presence of Faults, in Journal of the Association for Computing Machinery, vol. 27, n. 2, aprile 1980. URL consultato il 2 febbraio 2007.
- ^ Edsger W. Dijkstra Prize in Distributed Computing: 2005, su podc.org. URL consultato il 2 febbraio 2007.
Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Leslie Lamport
Collegamenti esterni
[modifica | modifica wikitesto]- Sito ufficiale, su lamport.org.
- (EN) Leslie Lamport, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Leslie Lamport, su Mathematics Genealogy Project, North Dakota State University.
| Controllo di autorità | VIAF (EN) 44417132 · ISNI (EN) 0000 0000 6307 3806 · SBN MILV019266 · LCCN (EN) n85197221 · GND (DE) 170465918 · BNF (FR) cb12572554j (data) · J9U (EN, HE) 987007452666005171 · NDL (EN, JA) 00470060 · CONOR.SI (SL) 32976739 |
|---|
