图:Leslie Lamport · Copyrighted free use · Wikimedia Commons
莱斯利·兰波特1941—
Leslie Lamport
美国计算机科学家
莱斯利·兰波特,美国计算机科学家。也是排版系统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会士、名誉博士
同一学科的科学家
更多 ›克劳狄乌斯·托勒密
100—170 · 数学、天文学
伐罗
伐罗诃密希罗
505—587 · 数学、天文学
詹姆斯·格雷果里
1638—1675 · 数学、天文学
奥尔加·拉德任斯卡娅
1922—2004 · 数学、博物与综合
弗兰克·普伦普顿·拉姆齐
1903—1930 · 数学、博物与综合

劳埃德·沙普利
1923—2016 · 数学、计算机科学

格奥尔格·冯·波伊尔巴赫
1423—1461 · 数学、天文学

恩斯特·爱德华·库默尔
1810—1893 · 数学、博物与综合
约翰·沃利斯
1616—1703 · 数学、博物与综合
阿卜杜勒-拉赫曼·苏菲
903—986 · 数学、天文学

阿特勒·塞尔伯格
1917—2007 · 数学、博物与综合
格奥尔格·约阿希姆·雷蒂库斯
1514—1574 · 数学、天文学