艾伦·图灵：计算机科学之父
了解艾伦·图灵的生平、图灵机理论及其对现代计算机科学的深远影响。
CATEGORY / TURING-AWARD
图灵奖系列
沿着计算机科学先驱的工作，理解今天的技术从何而来。
Avi Wigderson：他用数学之美揭示计算的本质，从随机性到交互证明，从复杂度到密码学，编织出一张理论计算的宏大图景
Avi Wigderson：他用数学之美揭示计算的本质，从随机性到交互证明，从复杂度到密码学，编织出一张理论计算的宏大图景
Robert M. Metcalfe：他发明的以太网让计算机从孤岛变成网络，用简洁优雅的设计统治局域网40年，从施乐实验室到全球数十亿设备
Robert M. Metcalfe：他发明的以太网让计算机从孤岛变成网络，用简洁优雅的设计统治局域网40年，从施乐实验室到全球数十亿设备
Jack J. Dongarra：他用标准数值库和性能基准，为高性能计算建立了统一语言，让超级计算机从竞速工具变成科学基础设施
Jack J. Dongarra：他用标准数值库和性能基准，为高性能计算建立了统一语言，让超级计算机从竞速工具变成科学基础设施
Alfred V. Aho & Jeffrey D. Ullman：他们写下的"龙书"训练了几代程序员，让编译器从黑魔法变成系统科学
Alfred V. Aho & Jeffrey D. Ullman：他们写下的"龙书"训练了几代程序员，让编译器从黑魔法变成系统科学
Ed Catmull & Pat Hanrahan：他们把计算机图形学从实验室搬进了好莱坞，让数字世界拥有了物理的真实感
Ed Catmull & Pat Hanrahan：他们把计算机图形学从实验室搬进了好莱坞，让数字世界拥有了物理的真实感
Yann LeCun、Geoffrey Hinton、Yoshua Bengio：深度学习三巨头，用反向传播与表示学习点亮AI新纪元
Yann LeCun、Geoffrey Hinton、Yoshua Bengio：深度学习三巨头，用反向传播与表示学习点亮AI新纪元
John Hennessy & David Patterson：RISC革命与"用数据说话"的计算机架构
John Hennessy & David Patterson：RISC革命与"用数据说话"的计算机架构
Tim Berners-Lee：万维网的发明者,把信息连成可点击的宇宙
Tim Berners-Lee：万维网的发明者,把信息连成可点击的宇宙
Whitfield Diffie & Martin E. Hellman：公钥密码学的革命，在不共享秘密的前提下达成共享秘密
Whitfield Diffie & Martin E. Hellman：公钥密码学的革命，在不共享秘密的前提下达成共享秘密
Michael Stonebraker：数据库的多形态革新者，从Ingres到Postgres，再到"一个引擎不能统治一切"
Michael Stonebraker：数据库的多形态革新者，从Ingres到Postgres，再到"一个引擎不能统治一切"
Leslie Lamport：他让分布式系统从"混沌"变成"秩序"，用逻辑时钟和Paxos算法，为云计算时代奠定理论基础
Leslie Lamport：他让分布式系统从"混沌"变成"秩序"，用逻辑时钟和Paxos算法，为云计算时代奠定理论基础
Shafi Goldwasser & Silvio Micali：他们让密码学从"艺术"变成"科学"，从零知识证明到可证明安全，重塑现代密码学的数学基础
Shafi Goldwasser & Silvio Micali：他们让密码学从"艺术"变成"科学"，从零知识证明到可证明安全，重塑现代密码学的数学基础
Judea Pearl：他用数学撕开了"相关"与"因果"的迷雾
Judea Pearl：他用数学撕开了"相关"与"因果"的迷雾
Leslie G. Valiant：他用数学告诉我们"什么能学、什么能算"
Leslie G. Valiant：他用数学告诉我们"什么能学、什么能算"
Charles P. Thacker：他在1973年就把"未来的电脑"搬上了你的桌面
Charles P. Thacker：他在1973年就把"未来的电脑"搬上了你的桌面
Barbara Liskov：她定义了"抽象数据类型"和"里氏替换原则"，让面向对象编程真正可用
Barbara Liskov：她定义了"抽象数据类型"和"里氏替换原则"，让面向对象编程真正可用
Clarke, Emerson & Sifakis：他们让"软件验证"从梦想变成现实，模型检验保障关键系统的安全
Clarke, Emerson & Sifakis：他们让"软件验证"从梦想变成现实，模型检验保障关键系统的安全
Frances E. Allen：她让编译器从"翻译器"变成"优化器"，开创了程序优化的科学时代
Frances E. Allen：她让编译器从"翻译器"变成"优化器"，开创了程序优化的科学时代
Peter Naur：从ALGOL 60到"编程即理论建构"，他定义了程序设计的认识论
Peter Naur：从ALGOL 60到"编程即理论建构"，他定义了程序设计的认识论
Vint Cerf & Bob Kahn：他们编织了连接世界的数字之网，TCP/IP让50亿人在线
Vint Cerf & Bob Kahn：他们编织了连接世界的数字之网，TCP/IP让50亿人在线
Alan Kay
Alan Kay:Smalltalk之父,"未来属于那些发明它的人"
Ron Rivest, Adi Shamir, Leonard Adleman
Ron Rivest, Adi Shamir, Leonard Adleman:RSA算法,数字时代的安全基石
Ole-Johan Dahl & Kristen Nygaard：面向对象编程的鼻祖，用Simula播下了OOP的种子，从此改变了整个软件世界
Ole-Johan Dahl & Kristen Nygaard：面向对象编程的鼻祖，用Simula播下了OOP的种子，从此改变了整个软件世界
Andrew Yao（姚期智）：通信复杂性与量子计算的开拓者，首位华人图灵奖得主，从普林斯顿到清华的育人之路
Andrew Yao（姚期智）：通信复杂性与量子计算的开拓者，首位华人图灵奖得主，从普林斯顿到清华的育人之路
Frederick P. Brooks Jr.：《人月神话》作者，软件工程的哲学家，用失败的教训照亮了整个行业
Frederick P. Brooks Jr.：《人月神话》作者，软件工程的哲学家，用失败的教训照亮了整个行业
Jim Gray
Jim Gray:数据库事务处理的奠基者,让每一笔转账都值得信赖
Douglas Engelbart
Douglas Engelbart:一次演示改变世界,他在1968年展示了2020年的未来
Amir Pnueli
Amir Pnueli:时序逻辑,让我们验证"永远"和"最终"
Manuel Blum：他将"计算困难性"变成了密码学的基石，创造了CAPTCHA，还培养出两位图灵奖得主
Manuel Blum：他将"计算困难性"变成了密码学的基石，创造了CAPTCHA，还培养出两位图灵奖得主
Edward Feigenbaum & Raj Reddy：他们让AI从"实验室玩具"变成"实用工具"，从专家系统到语音识别，开启了应用AI时代
Edward Feigenbaum & Raj Reddy：他们让AI从"实验室玩具"变成"实用工具"，从专家系统到语音识别，开启了应用AI时代
Juris Hartmanis & Richard Stearns：他们用数学证明了"时间是有价值的"，为复杂性理论打下地基，让P vs NP成为可能
Juris Hartmanis & Richard Stearns：他们用数学证明了"时间是有价值的"，为复杂性理论打下地基，让P vs NP成为可能
Butler Lampson：他在施乐PARC创造了现代计算的原型，从个人电脑到网络安全，用50年的创新定义了我们今天的数字生活
Butler Lampson：他在施乐PARC创造了现代计算的原型，从个人电脑到网络安全，用50年的创新定义了我们今天的数字生活
Robin Milner：他让类型系统从"编译器的限制"变成"程序员的助手"，用数学语言驯服了并发的混乱
Robin Milner：他让类型系统从"编译器的限制"变成"程序员的助手"，用数学语言驯服了并发的混乱
Fernando J. Corbató
Fernando J. Corbató:分时系统之父,让计算机学会"一心多用"
William Kahan
William Kahan:浮点运算的守护者,让计算机数学不再"说谎"
Ivan Sutherland
Ivan Sutherland:他用Sketchpad画出了计算机图形学与人机交互的未来
John Cocke：他用"少即是多"改变了计算机，从手机到超算都在用他的RISC哲学
John Cocke：他用"少即是多"改变了计算机，从手机到超算都在用他的RISC哲学
John Hopcroft & Robert Tarjan：他们让图算法达到了理论极限，用数据结构改变了编程的效率边界
John Hopcroft & Robert Tarjan：他们让图算法达到了理论极限，用数据结构改变了编程的效率边界
Richard M. Karp：他绘制了"计算难度"的地图，让我们学会与NP完全问题和平共处
Richard M. Karp：他绘制了"计算难度"的地图，让我们学会与NP完全问题和平共处
尼克劳斯·维尔特
尼克劳斯·维尔特:他用"简洁"重新定义了编程
肯·汤普逊 & 丹尼斯·里奇：他们用Unix和C语言，为数字世界打下了地基
肯·汤普逊 & 丹尼斯·里奇：他们用Unix和C语言，为数字世界打下了地基
斯蒂芬·库克：他划定了“可计算”与“可实现”的边界
斯蒂芬·库克：他划定了“可计算”与“可实现”的边界
埃德加·科德：他用关系模型，为数据世界建立了秩序
埃德加·科德：他用关系模型，为数据世界建立了秩序
托尼·霍尔：他用逻辑驯服了软件的复杂性
托尼·霍尔：他用逻辑驯服了软件的复杂性
肯尼斯·艾佛森：他用APL语言，将数学符号变成了可执行的思想
肯尼斯·艾佛森：他用APL语言，将数学符号变成了可执行的思想
Robert Floyd：他让程序从"碰运气"变成"可证明"
Robert Floyd：他让程序从"碰运气"变成"可证明"
John Backus：他发明了FORTRAN，两次解放了程序员
John Backus：他发明了FORTRAN，两次解放了程序员
Rabin & Scott：他们定义了计算的边界，让编译器和验证工具成为可能
Rabin & Scott：他们定义了计算的边界，让编译器和验证工具成为可能
Newell & Simon：让机器像人一样思考
Newell & Simon：让机器像人一样思考
Donald E. Knuth：算法之父，用一生书写计算机程序设计的艺术
Donald E. Knuth：算法之父，用一生书写计算机程序设计的艺术
Charles W. Bachman：把数据从程序里解放出来，开创数据库时代
Charles W. Bachman：把数据从程序里解放出来，开创数据库时代
Edsger W. Dijkstra：用结构化编程让复杂性有序退场
Edsger W. Dijkstra：用结构化编程让复杂性有序退场
John McCarthy：Lisp 之父与“人工智能”命名者
John McCarthy：Lisp 之父与“人工智能”命名者
James H. Wilkinson：数值分析的守护者，让计算“算得准”而非“算得快”
James H. Wilkinson：数值分析的守护者，让计算“算得准”而非“算得快”
Marvin Minsky：人工智能之父，赋予机器“思考”的灵魂
Marvin Minsky：人工智能之父，赋予机器“思考”的灵魂
Richard Hamming：他发明了汉明码，让数据传输不再出错
Richard Hamming：他发明了汉明码，让数据传输不再出错
Maurice Wilkes：他建造了第一台实用计算机，发明了子程序，开创了微程序设计
Maurice Wilkes：他建造了第一台实用计算机，发明了子程序，开创了微程序设计
Alan Perlis：他定义了编译器，影响了所有编程语言，开启了计算机科学
Alan Perlis：他定义了编译器，影响了所有编程语言，开启了计算机科学