Leslie Lamport

Leslie Lamport
	;
Biografía
Nacemento	7 de febreiro de 1941 (83 anos); Nova York, Estados Unidos de América
Educación	Instituto de Tecnoloxía de Massachusetts - matemáticas ; Universidade Brandeis - matemáticas ; The Bronx High School of Science (en)
Director de tese	Richard Palais (pt)
Actividade
Campo de traballo	Ciencias da computación e computação distribuída (pt)
Ocupación	matemático, enxeñeiro, programador, informático teórico, escritor
Empregador	Microsoft Research (mul) (2001–) ; Digital Equipment Corporation (pt) (1985–2001) ; SRI International (pt) (1977–1985) ; MITRE Corporation (pt) (1962–1965)
Membro de	Association for Computing Machinery (pt) (membro da ACM) (2015–); Academia Naciona de Ciencias dos Estados Unidos (2011–); Academia das Artes e das Ciencias dos Estados Unidos
Obra
	Obras destacables computação distribuída (pt) ; Lógica temporal de ações (pt) ; Paxos (en) ; (década de 1980) LaTeX; (1999) TLA+ (pt) ;
Premios
	(2014) Prêmio Dijkstra (pt) ; (2014) membro da ACM; (2013) Premio Turing; (2008) Medalla John von Neumann; (2007, 2006) doutor honoris causa Concedido por Henri Poincaré University (en) , Università della Svizzera italiana (en) ; (2005) Prêmio Dijkstra (pt) ; (2004) Prêmio Emanuel R. Piore IEEE (pt) ; (2004) honorary doctor of the École polytechnique fédérale de Lausanne (en) ; (2003) honorary doctor of the University of Rennes I (en) ; (2003) honorary doctor at Christian-Albrechts-Universität zu Kiel (en) ; (2000) Prêmio Dijkstra (pt) ; honorary doctor of the École polytechnique fédérale de Lausanne (en) ;
Páxina web	lamport.org

Leslie Lamport, nado en 1941, é un computólogo estadounidense. É especialmente coñecido por ser o desenvolvedor inicial do sistema de formateo de textos LaTeX, e de BibTeX.

Datos rápidos Biografía, Nacemento ...

Pechar

Traxectoria

Licenciouse en matemáticas en 1960 no Instituto de Tecnoloxía de Massachusetts. Tamén cursou un mestrado (1963) e un doutoramento (1972) na Universidade de Brandeis, ambos os dous en matemáticas.

No campo das ciencias da computación, Lamport é recoñecido polo seu traballo en algorítmica distribuída e en lóxica temporal, na cal introduciu a lóxica de accións temporal (Temporal Logic of Actions, TLA). Formulou a relación "ocorrido antes" (happened before), importante en reloxos lóxicos de sistemas distribuídos, xa que permite obter unha ordenación parcial. Tamén introduciu o algoritmo da panadaría de Lamport para exclusión mutua de múltiples fíos nun computador que requiren os mesmos recursos ao mesmo tempo.

En 2011 traballaba para Microsoft Research.

Véxase tamén

Ligazóns externas

Páxina web de Leslie Lamport (en inglés)