Leslie Valiant

Leslie Gabriel Valiant FRS [4] [5]（生于 1949 年 3 月 28 日）是一位英裔美国人 [6] 计算机科学家和计算理论家。 [ 7 ] [ 8 ] 他的父亲是化学工程师，母亲是翻译。 [9] 他目前是哈佛大学计算机科学和应用数学 T. Jefferson Coolidge 教授。 [ 10 ] [ 11 ] [ 12 ] [ 13 ] Valiant 于 2010 年荣获图灵奖，A.C.M. 对此进行了描述。作为理论计算机科学领域的英雄人物，以及他在解决科学中一些最深层次的未解决问题时的勇气和创造力的榜样；特别是他的“深度和广度的惊人结合”。 [6] Valiant 曾就读于剑桥大学国王学院、[14] [6] 伦敦帝国理工学院、[14] [6] 和华威大学，并于 1974 年获得计算机科学博士学位。 [15] [1] Valiant 因其在理论计算机科学方面的工作而享誉世界。在他对复杂性理论的众多贡献中，他引入了#P-完整性（“Sharp-P 完整性”）的概念来解释为什么枚举和可靠性问题难以解决。他创建了“大概正确”或 PAC 学习模型，引入了计算学习理论领域，并成为机器学习发展的理论基础。他还介绍了受量子计算模型启发的全息算法的概念。在计算机系统中，他因引入批量同步并行处理模型而闻名。与单一计算机体系结构的冯诺依曼模型类似，BSP 一直是并行和分布式计算体系结构的一个有影响力的模型。最近的例子是 Google 通过 MapReduce、MillWheel、[16] Pregel [17] 和 Dataflow 采用它进行大规模计算，而 Facebook 创建了一个能够处理超过 1 万亿条边的图形分析系统。 [ 18 ] [ 19 ] 也有活跃的开源公关 领域：数学、理论计算机科学、计算学习理论、理论神经科学 教育背景：剑桥大学国王学院 BA 伦敦帝国理工学院 MS 华威大学 博士奖获奖者：图灵奖（2010 年）

EATCS 奖 (2008)

美国国家科学院院士 (2001)

高德纳奖 (1997)

AAAI 院士 (1992)

内万林纳奖 (1986)