莱斯利·兰波特 

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

莱斯利·兰波特(英語:Leslie Lamport,1941年2月7日),美国计算机科学家。也是排版系統LaTeX的開發者。Lamport在计算机科学领域,特别是分布式系统,领域有着深远的影响,也奠定的此领域的基础。他最著名的贡献是在分布式系统中的逻辑时钟和事件排序,Bakery算法和互斥解决方案,并发程序的规范和验证,不可靠网络中的Paxos协议,以及复制状态机(Replicated State Machines)的概念。他的成果为他赢得了许多奖项和荣誉,包括2013年的图灵奖、Dijkstra奖、IEEE约翰·冯·诺依曼奖和the Jean-Claude Laprie Award in Dependable Computing。他还于2011年当选为美国国家科学院院士。

  1. ^ 莱斯利·兰波特數學譜系計畫的資料。



取材自維基百科 - 中文時事百科