|
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 accademicaSi 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 ricercaSistemi distribuitiLa 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:
La logicaLamport è 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: (EN)
«A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.» (IT)
«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 onorariNel 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] Il lavoro di LamportLamport 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
Altri progetti
Collegamenti esterni
|
Portal di Ensiklopedia Dunia
