莱斯利·兰波特

维基百科,自由的百科全书
跳转至: 导航搜索
'莱斯利·兰波特(Leslie Lamport)'
Leslie Lamport.jpg
出生 1941年02月07日 (1941-02-07)(73歲)
美国纽约市
研究領域 计算机科学
任职於 微软研究院
康柏电脑
数字设备公司
SRI International英语SRI International
母校 麻省理工学院(学士)
布兰戴斯大学 (博士)
毕业论文 The analytic Cauchy problem with singular data (1972)
博士導師 Richard Palais英语Richard Palais[1]
著名成就 LaTeX
Sequential consistency英语Sequential consistency
Atomic Register Hierarchy
Lamport面包店算法
拜占庭将军问题
Paxos算法
獲獎 Dijkstra Prize英语Dijkstra Prize(2000、2005)
IEEE John von Neumann Medal(2008)
图灵奖(2013)

莱斯利·兰波特英语Leslie Lamport,1941年02月07日—),美国计算机科学家。

经历[编辑]

兰波特1941年出生于纽约,是欧洲移民的儿子。 在麻省理工学院获学士学位以后,兰波特到布兰代斯大学攻读数学博士,不久后放弃,到佛蒙特州一所小型文科学校——万宝路学院教授数学。之后到麻省计算机协会做兼职工作,做ILLIAC设计。

1972年获博士学位,继续研究ILLIAC。兰波特最终得出证明,分布系统中的相对次序与观察者有关。[2]

2013年,莱斯利·兰波特获图灵奖

参考资料[编辑]

  1. ^ 莱斯利·兰波特數學譜系計畫的資料。
  2. ^ (美)丹尼斯·萨沙(Dennis E.Shasha),(美)C.A.拉泽(Cath A.Lazere)著;刘军译. 大师的智慧 十五位杰出电脑科学家的生平与发现. 保定市:河北大学出版社, 1998. p175 - 203.