莱斯利·兰波特
美国计算机科学家 / 维基百科,自由的 encyclopedia
莱斯利·兰波特(英语:Leslie Lamport,1941年2月7日—),美国计算机科学家。也是排版系统LaTeX的开发者。Lamport在计算机科学领域,特别是分布式系统,领域有着深远的影响,也奠定的此领域的基础。他最著名的贡献是在分布式系统中的逻辑时钟和事件排序,Bakery算法和互斥解决方案,并发程序的规范和验证,不可靠网络中的Paxos协议,以及复制状态机(Replicated State Machines)的概念。他的成果为他赢得了许多奖项和荣誉,包括2013年的图灵奖、Dijkstra奖、IEEE约翰·冯·诺依曼奖和the Jean-Claude Laprie Award in Dependable Computing。他还于2011年当选为美国国家科学院院士。
此条目可参照英语维基百科相应条目来扩充。 (2019年10月27日) |
此条目需要精通或熟悉计算机科学的编者参与及协助编辑。 (2023年12月3日) |
Quick Facts 莱斯利·兰波特, 原文名 ...
莱斯利·兰波特 | |
---|---|
原文名 | 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 |
科学生涯 | |
研究领域 | 计算机科学 |
机构 | 微软研究院 康柏电脑 DEC SRI International |
论文 | The analytic Cauchy problem with singular data(1972) |
博士导师 | Richard Palais(英语:Richard Palais)[1] |
Close