Diferenzas entre revisións de «Leslie Lamport»

m
Bot: Arranxos varios
m (Bot: Engado {{Control de autoridades}})
m (Bot: Arranxos varios)
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 [[Reloxo|reloxosreloxo]]s 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.
* [http://www.lamport.org/ Páxina web de Leslie Lamport] {{en}}
 
{{ORDENAR:Lamport, Leslie}}
{{Control de autoridades}}
 
{{ORDENAR:Lamport, Leslie}}
[[Categoría:Matemáticos dos Estados Unidos de América]]
[[Categoría:Personalidades da informática]]
393.002

edicións