Leslie Lamport

Na Galipedia, a Wikipedia en galego.
Lamport.

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

Commons
Commons ten máis contidos multimedia sobre: Leslie Lamport

Ligazóns externas[editar | editar a fonte]