Leslie Lamport: Diferenzas entre revisións
m →Traxectoria: Instituto de Tecnoloxía de Massachusetts |
m modelo biografía |
||
Liña 1: | Liña 1: | ||
{{Biografía}} |
|||
[[Ficheiro:Leslie Lamport.jpg|miniatura|dereita|Lamport.]] |
|||
'''Leslie Lamport''', nado en 1941, é un computólogo [[Estados Unidos de América|estadounidense]]. É especialmente coñecido por ser o desenvolvedor inicial do sistema de formateo de textos [[LaTeX]], e de [[BibTeX]]. |
'''Leslie Lamport''', nado en 1941, é un computólogo [[Estados Unidos de América|estadounidense]]. É especialmente coñecido por ser o desenvolvedor inicial do sistema de formateo de textos [[LaTeX]], e de [[BibTeX]]. |
||
Revisión actual feita o 13 de decembro de 2017 ás 20:00
Leslie Lamport | |
---|---|
Nacemento | 7 de febreiro de 1941 |
Lugar de nacemento | Nova York |
Nacionalidade | Estados Unidos de América |
Alma máter | Instituto de Tecnoloxía de Massachusetts, Universidade Brandeis e The Bronx High School of Science |
Ocupación | matemático, informático teórico, programador, enxeñeiro e escritor |
Coñecido por | computação distribuída, LaTeX, TLA+, Lógica temporal de ações e Paxos |
Premios | Prêmio Dijkstra, Medalla John von Neumann, Premio Turing, Prêmio Emanuel R. Piore IEEE, honorary doctor of the University of Rennes I, honorary doctor of the École polytechnique fédérale de Lausanne, membro da ACM, Prêmio Dijkstra, Prêmio Dijkstra, honorary doctor at Christian-Albrechts-Universität zu Kiel, doutor honoris causa, doutor honoris causa e honorary doctor of the École polytechnique fédérale de Lausanne |
Na rede | |
http://www.lamport.org/ | |
[ editar datos en Wikidata ] | |
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]
Commons ten máis contidos multimedia sobre: Leslie Lamport |