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 |
[modifica] Formazione Accademica
- 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]
[modifica] La Ricerca
[modifica] Sistemi Distribuiti
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 , 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.
[modifica] La Logica
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]
[modifica] Riconoscimenti Onorari
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]
[modifica] Il Lavoro di Lamport
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]
[modifica] Curiosità
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. » |
[modifica] Note
- ^ Leslie Lamport. LaTeX: A Document Preparation System. Addison-Wesley, 1986. URL consultato il 2 febbraio 2007.
- ^ a b c Leslie Lamport. My Writings. 19 dicembre 2006. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport (1972). “The Analytic Cauchy Problem with Singular Data”. Consultato il 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 il 2 febbraio 2007.
- ^ Gil Neiger. PODC Influential Paper Award: 2000. 23 gennaio 2003. URL consultato il 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 il 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 il 2 febbraio 2007.
- ^ Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems 16 (2): 133–169. URL consultato il 2 febbraio 2007.
- ^ Leslie Lamport (1990-04-01). “A Temporal Logic of Actions”. Consultato il 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 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.
- ^ IEEE Emanuel R. Piore Award Recipients. URL consultato il 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 il 2 febbraio 2007.
- ^ Edsger W. Dijkstra Prize in Distributed Computing: 2005. URL consultato il 2 febbraio 2007.
[modifica] Altri progetti
Commons contiene file multimediali su Leslie Lamport
[modifica] Collegamenti esterni
 Portale Biografie: accedi alle voci di Wikipedia che trattano di biografie |
