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 (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
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.

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 ^(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
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

From Wikipedia, the free encyclopedia · View on Wikipedia