Leslie Lamport: Diferenzas entre revisións
m Simplificando redireccións cara a Estados Unidos de América |
m elimino a Categoría:Personalidades das matemáticas; engado a Categoría:Matemáticos dos Estados Unidos de América mediante HotCat |
||
| Liña 15: | Liña 15: | ||
{{ORDENAR:Lamport, Leslie}} |
{{ORDENAR:Lamport, Leslie}} |
||
[[Categoría: |
[[Categoría:Matemáticos dos Estados Unidos de América]] |
||
[[Categoría:Personalidades da informática]] |
[[Categoría:Personalidades da informática]] |
||
[[Categoría:Nados en 1941]] |
[[Categoría:Nados en 1941]] |
||
Revisión como estaba o 26 de xullo de 2015 ás 21:51
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 |