Leslie Lamport
Dr. Leslie Lamport is an American computer scientist. Lamport received a B.S. from the Massachusetts Institute of Technology in mathematics in 1960. He also earned M.A. and Ph.D. degrees from Brandeis University in 1963 and 1972, both also in mathematics. In computer science, Dr. Lamport is best known for his work on temporal logic, introducing the Temporal Logic of Actions (TLA). He formulated the happened-before relationship relevant to logical clocks in distributed systems. Outside of computer science, Dr. Lamport is best known as the initial developer of LaTeX. He currently works for Microsoft Research.

External links

Lamport, LeslieLamport, Leslie

 

<< PreviousWord BrowserNext >>
songs of a dead dreamer
pavel belyayev
raw power
trionfo di afrodite
the heliocentric worlds of sun ra, volume one
the low end theory
uss oriskany (cv 34)
chinese era name
uss united states (cc 6)
langer giedion syndrome
carolina, puerto rico
carolina
uss united states (cva 58)
no strings attached
mtv unplugged in new york
list of works published posthumously
surrealistic pillow
aleksei leonov
spirit of the boogie
ss yongala
list of stock exchanges
collage
european nightjar
kjell inge rkke
detroit electronic music festival
derailleur gears
wilhelm adolf schmidt
pierre gaspard chaumette
asea brown boveri
feuillant
richard burbage
anicius manlius severinus bothius
william beckford (politician)
camille desmoulins
antoine quentin fouquier tinville
chemnitz (region)
jean maurice tourneux
x ray burster
t 55
list of mechanical engineers
list of aerospace engineers
wide angle lens
telephoto lens
list of electrical engineers
Copyright 2005-2009 OnPedia.com. All Rights Reserved