Leslie Lamport
Leslie Lamport ( New York , 7 februarie 1941 ) este matematician și informatic american .
Este cunoscut pentru studii științifice de pionierat în domeniul calculelor distribuite , pentru care a primit premiul Turing 2013, precum și creatorul LaTeX , o extensie a software-ului de tipografie TeX . [1]
Pregătire academică
A absolvit Bronx High School of Science . În 1960 a obținut o diplomă de licență în matematică de la MIT . În 1963 a obținut un master în matematică de la Universitatea Brandeis . În 1972 a obținut doctoratul în matematică de la Universitatea Brandeis . [2] Disertația se referea la singularități în ecuații diferențiale parțiale analitice. [3]
Cercetare
Sisteme distribuite
Cercetările efectuate de Lamport au pus bazele teoriei sistemelor distribuite : printre cele mai notabile lucrări ale sale amintim:
- „Timp, ceasuri și ordonarea evenimentelor într-un sistem distribuit”, [4] care a primit PODC Influential Paper Award în 2000 , [5]
- „ Problema generalilor bizantini ”, [6]
- „Instantanee distribuite: determinarea stărilor globale ale unui sistem distribuit” [7] e
- „Parlamentul cu jumătate de normă” [8] .
Aceste articole tratează concepte precum ceasurile logice (și relația întâmplată înainte ) și eșecurile bizantine și se numără printre cele mai citate lucrări în domeniul sistemelor distribuite. [ necesită citare ] , deoarece descriu algoritmi pentru a rezolva multe probleme fundamentale ale acestei discipline, inclusiv:
- algoritmul Paxos pentru consimțământ ,
- algoritmul Lamport al brutarului pentru excluderea reciprocă a mai multor fire într-un sistem informatic care necesită aceleași resurse în același timp și
- algoritmul Chandy-Lamport pentru determinarea stărilor globale consistente.
Logica
Lamport este, de asemenea, cunoscut pentru studiile sale despre logica temporală , în care a introdus acțiunile logice temporale (Temporal Logic of Actions - TLA) [9] [10] Cele mai recente contribuții ale sale au TLA +, o rațiune pentru „analiza și descrierea sisteme simultane și reactive, descrise în carte: „Specifying Systems: The TLA + Language and Tools for Hardware and Software Engineers”. [11]
Mulțumiri onorifice
În 2014, Lamport a primit Premiul Turing pentru „contribuțiile sale fundamentale la teoria și practica sistemelor distribuite și concomitente, în special pentru invenția conceptelor precum cauzalitatea, ceasurile logice, siguranța și viața , mașinile de stare replicate și consistența secvențială”. [12]
De asemenea, a primit patru doctorate onorifice de la universități europene:
- de la Universitatea din Rennes în 2003
- de la Universitatea din Kiel în 2003
- de către EPFL în 2004
- de la Universitatea din Elveția italiană în 2006. [2]
În 2004 a primit și premiul IEEE Piore . [13]
În 2005, articolul Acordarea acordului în prezența defecțiunilor [14] a primit Premiul Dijkstra . [15]
Opera lui Lamport
Lamport a lucrat ca informatician la Massachusetts Computer Associates, SRI International , Digital Equipment Corporation și Compaq . În 2001 s-a alăturat Microsoft Research în Mountain View . [2]
Curiozitate
Lamport a fost creditat ca autor al următorului aforism pe sisteme distribuite:
„Un sistem distribuit este unul în care eșecul unui computer pe care nici măcar nu știați că îl poate face propriul computer inutilizabil.” |
așa cum a declarat într-un e-mail [16] că a fost o definiție adoptată la Centrul de Cercetare a Sistemelor DEC.
Notă
- ^ (EN) Leslie Lamport, LaTeX: A Document Preparation System , pe research.microsoft.com, Addison-Wesley, 1986, ISBN 0-201-15790-X . Adus 02-02-2007 .
- ^ a b c Leslie Lamport, My Writings , research.microsoft.com , 19 decembrie 2006. Accesat la 2 februarie 2007 .
- ^ Leslie Lamport, The Analytic Cauchy Problem with Singular Data , 1972. Accesat la 2 februarie 2007 .
- ^ Leslie Lamport, Time, Clocks and the Ordering of Events in a Distributed System , în Comunicări ale ACM , vol. 21, n. 7, iulie 1978, pp. 558-565. Adus 02-02-2007 .
- ^ Gil Neiger, PODC Influential Paper Award: 2000 , pe podc.org , 23 ianuarie 2003. Accesat la 2 februarie 2007 (arhivat din original la 9 iulie 2013) .
- ^ Leslie Lamport, Robert Shostak, Marshall Pease, The Byzantine Generals Problem , în ACM Transactions on Programming Languages and Systems , vol. 4, nr. 3, iulie 1982, pp. 382–401. Adus 02-02-2007 .
- ^ K. Mani Chandy, Leslie Lamport, Instantanee distribuite: determinarea stărilor globale ale unui sistem distribuit , în ACM Transactions on Computer Systems , vol. 3, nr. 1, februarie 1985, pp. 63-75. Adus 02-02-2007 .
- ^ Leslie Lamport, The Part-Time Parliament , în ACM Transactions on Computer Systems , vol. 16, n. 2, mai 1998, pp. 133–169. Adus 02-02-2007 .
- ^ Leslie Lamport, O logică temporală a acțiunilor , 1 aprilie 1990. Accesat la 2 februarie 2007 .
- ^ Leslie Lamport, Logica temporală a acțiunilor , în ACM Transactions on Programming Languages and Systems , vol. 16, n. 3, mai 1994, pp. 872–923. Adus 02-02-2007 .
- ^ Leslie Lamport, Specifying Systems: The TLA + Language and Tools for Hardware and Software Engineers , Addison-Wesley, 2002, ISBN 0-321-14306-X . Adus 02-02-2007 .
- ^ Premiul Turing 2013 , la amturing.acm.org , ACM.
- ^ Beneficiarii premiului IEEE Emanuel R. Piore , la ieee.org . Adus 02-02-2007 .
- ^ Marshall Pease, Robert Shostak, Leslie Lamport, Acordarea unui acord în prezența defecțiunilor , în Jurnalul Asociației pentru Mașini de Calcul , vol. 27, n. 2, aprilie 1980. Accesat la 2 februarie 2007 .
- ^ Premiul Edsger W. Dijkstra în calcul distribuit: 2005 , pe podc.org . Adus 02-02-2007 .
- ^ http://lamport.azurewebsites.net/pubs/pubs.html#distributed-system
Alte proiecte
-
Wikimedia Commons conține imagini sau alte fișiere despre Leslie Lamport
linkuri externe
- ( RO ) Pagina principală Leslie Lamport , pe lamport.org .
| Controlul autorității | VIAF (EN) 44.417.132 · ISNI (EN) 0000 0000 6307 3806 · LCCN (EN) n85197221 · GND (DE) 170 465 918 · BNF (FR) cb12572554j (dată) · NDL (EN, JA) 00.47006 milioane · WorldCat Identities ( EN) lccn -n85197221 |
|---|
