Leslie Lamport: Diferenzas entre revisións

Na Galipedia, a Wikipedia en galego.
Contido eliminado Contido engadido
m Bot: Substitución automática de texto (-|right| +|dereita| & -|left| +|esquerda|)
m r2.7.3) (Bot: Engado: zh:莱斯利·兰伯特
Liña 35: Liña 35:
[[sv:Leslie Lamport]]
[[sv:Leslie Lamport]]
[[uk:Леслі Лампорт]]
[[uk:Леслі Лампорт]]
[[zh:莱斯利·兰伯特]]

Revisión como estaba o 13 de febreiro de 2013 ás 15:16

Lamport.

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

Traxectoria

Licenciouse en matemáticas en 1960 no Massachusetts Institute of Technology. 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