莱斯利·兰波特

维基百科,自由的百科全书
跳转至: 导航搜索
莱斯利·兰波特
Leslie Lamport.jpg
原文名 Leslie Lamport
出生 (1941-02-07) 1941年2月7日(77歲)
美国纽约市
母校 麻省理工学院(学士)
布兰戴斯大学(博士)
知名于 LaTeX
Sequential consistency英语Sequential consistency
Atomic Register Hierarchy
Lamport面包店算法
拜占庭将军问题
Paxos算法
奖项 Dijkstra Prize英语Dijkstra Prize(2000、2005)
约翰·冯诺依曼奖(2008)
图灵奖(2013)
网站 www.lamport.org
科学生涯
研究領域 计算机科学
机构 微软研究院
康柏电脑
DEC
SRI International英语SRI International
论文 The analytic Cauchy problem with singular data(1972)
博士導師 Richard Palais英语Richard Palais[1]

莱斯利·兰波特英语:Leslie Lamport,1941年2月7日),美国计算机科学家。也是排版系統LaTeX的開發者。

经历[编辑]

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

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

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

参考资料[编辑]

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