莱斯利·兰波特

图:Leslie Lamport · Copyrighted free use · Wikimedia Commons

科学家 › 数学、计算机科学

莱斯利·兰波特1941—

Leslie Lamport

美国计算机科学家

图灵奖 2013

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

摘自维基百科「莱斯利·兰波特」,CC BY-SA 4.0

出生
1941 年,纽约
国籍
美国
学科
数学、计算机科学、工程与发明、博物与综合
职业
数学家、计算机科学家、程序员、工程师
研究领域
计算机科学、分布式计算
主要成就
分布式计算、LaTeX、行为时序逻辑、Paxos算法
母校
麻省理工学院、布兰戴斯大学、布朗克斯科学高级中学
工作单位
Mitre集团公司、迪吉多、斯坦福国际研究院、微软研究院
导师
Richard Palais
学会 / 院士
美国国家科学院、美国文理科学院、计算机协会、美国国家工程院
其他荣誉
戴克斯特拉奖、约翰·冯诺依曼奖、IEEE皮奥尔奖、ACM会士、名誉博士

同一学科的科学家

更多 ›