it.wikipedia.org

Leslie Lamport - Wikipedia

Da Wikipedia, l'enciclopedia libera.

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]

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 compiuta da Lamport ha gettato le basi della teoria dei sistemi distribuiti: tra i suoi lavori più degni di nota ricordiamo:

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:

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:

(inglese)
«A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.»

(italiano)
«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.

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:

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]

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]

  1. ^ (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.
  2. ^ a b c Leslie Lamport, My Writings, su research.microsoft.com, 19 dicembre 2006. URL consultato il 2 febbraio 2007.
  3. ^ Leslie Lamport, The Analytic Cauchy Problem with Singular Data, 1972. URL consultato il 2 febbraio 2007.
  4. ^ 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.
  5. ^ 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).
  6. ^ 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.
  7. ^ 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.
  8. ^ 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.
  9. ^ Leslie Lamport, A Temporal Logic of Actions, 1º aprile 1990. URL consultato il 2 febbraio 2007.
  10. ^ 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.
  11. ^ 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.
  12. ^ http://lamport.azurewebsites.net/pubs/pubs.html#distributed-system
  13. ^ Turing award 2013, su amturing.acm.org, ACM.
  14. ^ IEEE Emanuel R. Piore Award Recipients, su ieee.org. URL consultato il 2 febbraio 2007.
  15. ^ 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.
  16. ^ Edsger W. Dijkstra Prize in Distributed Computing: 2005, su podc.org. URL consultato il 2 febbraio 2007.

V · D · M

Vincitori del Premio Turing
Anni 1960Alan Perlis (1966) · Maurice V. Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969)
Anni 1970James H. Wilkinson (1970) · John McCarthy (1971) · Edsger Dijkstra (1972) · Charles Bachman (1973) · Donald Knuth (1974) · Allen Newell - Herbert Simon (1975) · Michael Rabin - Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979)
Anni 1980Tony Hoare (1980) · Edgar F. Codd (1981) · Stephen Cook (1982) · Ken Thompson - Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft - Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989)
Anni 1990Fernando J. Corbató (1990) · Robin Milner (1991) · Butler W. Lampson (1992) · Juris Hartmanis - Richard E. Stearns (1993) · Edward Feigenbaum - Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick P. Brooks, Jr. (1999)
Anni 2000Andrew Chi-Chih Yao (2000) · Ole-Johan Dahl - Kristen Nygaard (2001) · Ronald Rivest - Adi Shamir - Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf - Robert Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke - E. Allen Emerson - Joseph Sifakis (2007) · Barbara Liskov (2008) · Charles P. Thacker (2009)
Anni 2010Leslie Valiant (2010) · Judea Pearl (2011) · Silvio Micali - Shafi Goldwasser (2012) · Leslie Lamport (2013) · Michael Stonebraker (2014) · Martin Hellman - Whitfield Diffie (2015) · Tim Berners-Lee (2016) · John L. Hennessy - David Patterson (2017) · Yoshua Bengio - Geoffrey Hinton - Yann LeCun (2018) Edwin Catmull - Pat Hanrahan (2019)
Anni 2020Alfred Aho - Jeffrey Ullman (2020) · Jack Dongarra (2021) · Robert Metcalfe (2022) · Avi Wigderson (2023)
Controllo di autoritàVIAF (EN44417132 · ISNI (EN0000 0000 6307 3806 · SBN MILV019266 · LCCN (ENn85197221 · GND (DE170465918 · BNF (FRcb12572554j (data) · J9U (ENHE987007452666005171 · NDL (ENJA00470060 · CONOR.SI (SL32976739