Leslie Lamport: Diferenzas entre revisións
m engado a Categoría:Alumnos da Universidade de Brandeis mediante HotCat |
m engado a Categoría:Alumnos do Instituto Tecnolóxico de Massachusetts mediante HotCat |
||
| Liña 19: | Liña 19: | ||
[[Categoría:Nados en 1941]] |
[[Categoría:Nados en 1941]] |
||
[[Categoría:Alumnos da Universidade de Brandeis]] |
[[Categoría:Alumnos da Universidade de Brandeis]] |
||
[[Categoría:Alumnos do Instituto Tecnolóxico de Massachusetts]] |
|||
Revisión como estaba o 26 de xullo de 2015 ás 21:53
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
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
 |
Commons ten máis contidos multimedia sobre: Leslie Lamport |