Leslie Lamport

Leslie Lamport
	;
Biografía
Nacemento	7 de febreiro de 1941 (83 anos); Nova York, Estados Unidos de América
Datos persoais
País de nacionalidade	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 (pt) (2001–) ; Digital Equipment Corporation (pt) (1985–2001) ; SRI International (pt) (1977–1985) ; MITRE Corporation (en) (1962–1965)
Membro de	Academia Naciona de Ciencias dos Estados Unidos (2011–); Academia das Artes e das Ciencias dos Estados Unidos
Lingua	Lingua inglesa
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) membro da ACM; (2014) Prêmio Dijkstra (pt) ; (2013) Premio Turing; (2008) Medalla John von Neumann; (2007) doutor honoris causa de Henri Poincaré University (en) .; (2006) doutor honoris causa de 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 at Christian-Albrechts-Universität zu Kiel (en) ; (2003) honorary doctor of the University of Rennes I (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.

Traxectoria[editar | editar a fonte]

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[editar | editar a fonte]

Ligazóns externas[editar | editar a fonte]

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