Leslie Lamport
Leslie Lamport (New York, 7 febbraio 1941) è un informatico statunitense. Conosciuto ai più come l'ideatore di LaTeX[1], un insieme di macro per il programma TeX.
Indice |
Formazione Accademica[modifica]
- 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 singolarià nelle equazioni alle derivate parziali analitiche.[3]
La Ricerca[modifica]
Sistemi Distribuiti[modifica]
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] e
- “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 consensus,
- l'algoritmo di Lamport del fornaio per la mutua esclusione di thread multipli in un sistema di computer che richiedono le stesse risorse contemporaneamente, e
- l'algoritmo di Chandy-Lamport per la determinazione di stati globali consistenti.
La Logica[modifica]
Lamport è inoltre conosciuto per i suoi 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]
Riconoscimenti Onorari[modifica]
Lamport ha 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.[12]
Nel 2005, l'articolo Reaching Agreement in the Presence of Faults [13] ha ricevuto il Premio Dijkstra.[14]
Il Lavoro di Lamport[modifica]
Lamport lavorò come informatico al Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, e alla Compaq. Nel 2001 si unì al Microsoft Research a Mountain View.[2]
Curiosità[modifica]
Lamport è accreditato come autore del seguente aforisma:
| « You know you have a distributed system when the crash of a computer you've never heard of stops you from getting any work done. » |
in italiano:
| « Capisci di avere un sistema distribuito quando il crash di un computer di cui non avevi mai sentito parlare ti impedisce di concludere il tuo lavoro. » |
Note[modifica]
- ^ Leslie Lamport. LaTeX: A Document Preparation System. Addison-Wesley, 1986. URL consultato in data 2 febbraio 2007.
- ^ a b c Leslie Lamport. My Writings. 19 dicembre 2006. URL consultato in data 2 febbraio 2007.
- ^ Leslie Lamport (1972). The Analytic Cauchy Problem with Singular Data. URL consultato in data 2007-02-02.
- ^ Lamport, Leslie (July 1978). Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM 21 (7): 558–565. URL consultato in data 2 febbraio 2007.
- ^ Gil Neiger. PODC Influential Paper Award: 2000. 23 gennaio 2003. URL consultato in data 2 febbraio 2007.
- ^ Lamport, Leslie, Robert Shostak, Marshall Pease (luglio 1982). The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems 4 (3): 382–401. URL consultato in data 2 febbraio 2007.
- ^ Chandy, K. Mani, Leslie Lamport (February 1985). Distributed Snapshots: Determining Global States of a Distributed System. ACM Transactions on Computer Systems 3 (1): 63–75. URL consultato in data 2 febbraio 2007.
- ^ Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems 16 (2): 133–169. URL consultato in data 2 febbraio 2007.
- ^ Leslie Lamport (1990-04-01). A Temporal Logic of Actions. URL consultato in data 2007-02-02.
- ^ Lamport, Leslie (May 1994). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16 (3): 872–923. URL consultato in data 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.
- ^ IEEE Emanuel R. Piore Award Recipients. URL consultato in data 2 febbraio 2007.
- ^ Pease, Marshall, Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery 27 (2). URL consultato in data 2 febbraio 2007.
- ^ Edsger W. Dijkstra Prize in Distributed Computing: 2005. URL consultato in data 2 febbraio 2007.
Altri progetti[modifica]
Commons contiene immagini o altri file su Leslie Lamport
Collegamenti esterni[modifica]
Controllo di autorità VIAF: 44417132 LCCN: n85197221
 Portale Biografie: accedi alle voci di Wikipedia che trattano di biografie |
