Leslie Lamport

Na Galipedia, a Wikipedia en galego.
Leslie Lamport
Leslie Lamport.jpg
Nacemento 7 de febreiro de 1941
Lugar Nova York
Nacionalidade Estados Unidos de América
Alma máter Massachusetts Institute of Technology, Universidade Brandeis e The Bronx High School of Science
Ocupación matemático, informático teórico, Programador, enxeñeiro e escritor
Coñecido/a por Computação distribuída
Premios Prêmio Dijkstra, Medalha John von Neumann IEEE, Premio Turing, Prêmio Emanuel R. Piore IEEE e sen etiquetar
editar datos en Wikidata ]

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 Instituto de Tecnoloxía de Massachusetts. 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]

Ligazóns externas[editar | editar a fonte]