莱斯利·兰波特 | |
---|---|
原文名 | Leslie Lamport |
出生 | 美国纽约市 | 1941年2月7日
母校 | 麻省理工学院(学士) 布兰戴斯大学(博士) |
知名于 | LaTeX Sequential consistency Atomic Register Hierarchy Lamport面包店算法 拜占庭将军问题 Paxos算法 |
奖项 | Dijkstra Prize(2000、2005) 约翰·冯诺依曼奖(2008) 图灵奖(2013) |
网站 | www |
科学生涯 | |
研究领域 | 计算机科学 |
机构 | 微软研究院 康柏电脑 DEC SRI International |
论文 | The analytic Cauchy problem with singular data(1972) |
博士导师 | Richard Palais[1] |
莱斯利·兰波特(英语:Leslie Lamport,1941年2月7日—),美国计算机科学家。也是排版系统LaTeX的开发者。
经历
兰波特1941年出生于纽约,是欧洲移民的儿子。 在麻省理工学院获学士学位以后,兰波特到布兰戴斯大学攻读数学博士,到佛蒙特州一所小型文科学校——万宝路学院教授数学。之后到麻省计算机协会做兼职工作,做ILLIAC设计。
1972年获博士学位,继续研究ILLIAC。兰波特最终得出证明,分布系统中的相对次序与观察者有关。[2]
2013年,莱斯利·兰波特获图灵奖。