Leslie Lamport

Leslie Lamport
	;
Biografia
Naixement	7 febrer 1941 (83 anys); Nova York
Dades personals
Formació	Institut de Tecnologia de Massachusetts - matemàtiques ; Universitat de Brandeis - matemàtiques ; Bronx High School of Science
Director de tesi	Richard Palais
Activitat
Camp de treball	Ciències de la computació i aplicació distribuïda
Ocupació	matemàtic, enginyer, programador, informàtic, escriptor
Ocupador	Microsoft Research (2001–); Digital Equipment Corporation (1985–2001); SRI International (1977–1985); MITRE Corporation (en) (1962–1965)
Membre de	Acadèmia Nacional de Ciències dels Estats Units (2011–); Acadèmia Americana de les Arts i les Ciències
Obra
	Obres destacables aplicació distribuïda; temporal logic of actions (en) ; Paxos (en) ; (dècada del 1980) LaTeX; (1999) TLA+ ;
	Premis (2014) membre de l'Association for Computing Machinery; (2014) Premi Dijkstra; (2013) Premi Turing; (2008) Medalla de John von Neumann de l'IEEE; (2007) doctor honoris causa de Universitat Nancy-I.; (2006) doctor honoris causa de Universitat de la Suïssa Italiana.; (2005) Premi Dijkstra; (2004) Premi Emanuel R. Piore de l'IEEE; (2004) doctor honoris causa per l'École Polytechnique Fédérale de Lausanne; (2003) doctor honoris causa per la Universitat de Kiel; (2003) doctor honoris causa per la Universitat de Rennes 1; (2000) Premi Dijkstra; doctor honoris causa per l'École Polytechnique Fédérale de Lausanne ;
Lloc web	lamport.org

Leslie Lamport (Nova York, 1941) és un informàtic i matemàtic estatunidenc. És especialment conegut per haver creat el sistema LaTeX.

Lamport estudià matemàtiques al MIT i a la universitat de Brandeis. Dins del camp de la informàtica és reconegut pel seu treball en algorítmica distribuïda i en lògica temporal, on introduí la Lògica d'Accions Temporal (Temporal Logic of Actions, TLA). També formulà la relació "ha passat abans" (happened before), important en rellotges lògics en sistemes distribuïts, ja que permet obtenir una ordenació parcial.^[1]^[2]^[3]

Referències modifica

↑ Lamport, L. «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM , 21, 7, 1978, pàg. 558–565. DOI: 10.1145/359545.359563.
↑ Savage, N. «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM, 57, 6, 2014, pàg. 22. DOI: 10.1145/2601076.
↑ Hoffmann, L. «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM, 57, 6, 2014, pàg. 112. DOI: 10.1145/2601077.

Enllaços externs modifica

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Leslie Lamport

Leslie Lamport - Lloc web oficial

[timeclocks-1] Lamport, L. «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM , 21, 7, 1978, pàg. 558–565. DOI: 10.1145/359545.359563.

[2] Savage, N. «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM, 57, 6, 2014, pàg. 22. DOI: 10.1145/2601076.

[3] Hoffmann, L. «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM, 57, 6, 2014, pàg. 112. DOI: 10.1145/2601077.

[1]

[2]

[3]

Biografia

Naixement	7 febrer 1941 (83 anys) Nova York




Dades personals
Formació	Institut de Tecnologia de Massachusetts - matemàtiques Universitat de Brandeis - matemàtiques Bronx High School of Science
Director de tesi	Richard Palais
Activitat
Camp de treball	Ciències de la computació i aplicació distribuïda
Ocupació	matemàtic, enginyer, programador, informàtic, escriptor
Ocupador	Microsoft Research (2001–) Digital Equipment Corporation (1985–2001) SRI International (1977–1985) MITRE Corporation ^(en) (1962–1965)
Membre de	Acadèmia Nacional de Ciències dels Estats Units (2011–) Acadèmia Americana de les Arts i les Ciències
Obra
Obres destacables aplicació distribuïda temporal logic of actions ^(en) Paxos ^(en) (dècada del 1980) LaTeX (1999) TLA+
Premis (2014) membre de l'Association for Computing Machinery (2014) Premi Dijkstra (2013) Premi Turing (2008) Medalla de John von Neumann de l'IEEE (2007) doctor honoris causa de Universitat Nancy-I. (2006) doctor honoris causa de Universitat de la Suïssa Italiana. (2005) Premi Dijkstra (2004) Premi Emanuel R. Piore de l'IEEE (2004) doctor honoris causa per l'École Polytechnique Fédérale de Lausanne (2003) doctor honoris causa per la Universitat de Kiel (2003) doctor honoris causa per la Universitat de Rennes 1 (2000) Premi Dijkstra doctor honoris causa per l'École Polytechnique Fédérale de Lausanne

Lloc web	lamport.org