1 计算机科学家
1.1 分布式系统
- 图灵奖得主 Leslie Lamport
图灵奖得主 Leslie Lamport:思考比编码重要
Lamport因其在分布式系统方面的工作而获得了2013年的图灵奖(A.M.Turing Aeard)。其他贡献还有Paxos算法、排版程序LaTex、规格语言TLA+、面包店算法、拜占庭将军问题等。 - 延申阅读
图灵奖得主 Leslie Lamport:思考比编码重要
2013年图灵奖得主Leslie Lamport:如何写出数学上完美的算法
从狭义相对论看分布式时序问题
How to Write Software With Mathematical Perfection