莱斯利·兰伯特,当代著名计算机科学家,他提出了分布式系统、时序逻辑和并行算法等系列计算机理论。兰伯特是微软研究院首席研究员、美国国家工程院和科学院院士,2013年,他获得了有着“计算机界诺贝尔奖”之称的图灵奖。