图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 24 期。图灵奖：理查德·卡普（1985）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Richard M. Karp，翻译基于 谷歌翻译.
理查德·曼宁·卡普（Richard Manning Karp，1935 年 1 月 3 日出生）是一位美国计算机科学家和计算理论家，因在 NP 完备性理论和应用、构建高效组合算法以及在计算机科学中应用概率方法方面做出的重大贡献而知名。
他于 1985 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 23 期。图灵奖：尼克劳斯·维尔特（1984）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Niklaus Wirth，翻译基于 谷歌翻译.
他的书 “Algorithms + Data Structures = Programs”（算法+数据结构=程序）是计算机科学的名句。
尼克劳斯·埃米尔·维尔特（德语：Niklaus Emil Wirth，1934年2月15日—）是一位瑞士计算机科学家。 他设计了包括 Pascal 在内的多种编程语言，并开创了软件工程中的多个经典主题。
他于 1984 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 22 期。图灵奖：肯·汤普逊（1983）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Ken Thompson，翻译基于 谷歌翻译.
所有程序员都知道的 K&R
肯尼思·莱恩·汤普森（Kenneth Lane Thompson，1943 年 2 月 4 日出生）是美国计算机科学先驱，他的大部分职业生涯都在贝尔实验室工作。
他因创建 C 编程语言（名著《K&R》的K）而闻名，并与同事丹尼斯·里奇一起创建了 Unix 操作系统和 B 编程语言。
除了各种下文中赫赫有名的工作，他还有在计算机国际象棋方面的贡献，包括创建残局表库和国际象棋机器 Belle。
他于 1983 年与丹尼斯·里奇一起获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 21 期。图灵奖：丹尼斯·里奇（1983）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Dennis Ritchie，翻译基于 谷歌翻译.
所有程序员都知道的 K&R
丹尼斯·里奇（Dennis MacAlistair Ritchie，1941 年 9 月 9 日 – 2011 年 10 月 12 日）是一位美国计算机科学家。
他因创建 C 编程语言（名著《K&R》的R）而闻名，并与同事 Ken Thompson 一起创建了 Unix 操作系统和 B 编程语言。
他于 1983 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 20 期。图灵奖：史蒂芬·库克（1982）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Stephen Cook，翻译基于 谷歌翻译.
P=NP？
史蒂芬·库克（生于 1939 年 12 月 14 日）是一位美籍加拿大计算机科学家和数学家，在复杂性理论（complexity theory）和证明复杂性（proof complexity）领域做出了重大贡献。他现在是多伦多大学计算机科学系和数学系的大学教授。
他于 1982 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 19 期。图灵奖：埃德加·弗兰克·科德（1981）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Edgar F. Codd，翻译基于 谷歌翻译.
埃德加·弗兰克·科德生于 1923 年 8 月 19 日，是一位英国计算机科学家。在为 IBM 工作期间，科德发明了数据库管理的关系模型，这是关系数据库和关系数据库管理系统的理论基础。
他于 1981 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 18 期。图灵奖：托尼·霍尔（1980）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Tony Hoare，翻译基于 谷歌翻译.
快排，霍尔逻辑，空指针，ALGOL，哲学家就餐！大神啊！
托尼·霍尔爵士（Sir Charles Antony Richard Hoare）生于 1934 年 1 月 11 日），是一位英国计算机科学家，对编程语言、算法、操作系统、形式验证和并发计算做出了基础性贡献。
霍尔在 1959-1960 年开发了排序算法快速排序。然后开发了霍尔逻辑，这是验证程序正确性的公理基础。在并发语义中，他引入了形式语言通信顺序过程（CSP）来指定并发过程的交互，并与 Edsger Dijkstra 一起提出了哲学家就餐问题。
他还因空指针的开发（以及后来的自我批评）而受到赞誉，并将其引入了 ALGOL 系列语言中。
自 1977 年以来，他一直在牛津大学和剑桥微软研究院任职。
他于 1980 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 17 期。图灵奖：肯尼斯·艾佛森（1979）
本文来自 wiki:Kenneth E. Iverson，翻译基于 谷歌翻译.
肯尼思·尤金·艾弗森（Kenneth Eugene Iverson，1920 年 12 月 17 日—— 2004 年 10 月 19 日），加拿大计算机科学家，因开发编程语言 APL 而闻名。
他于 1979 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 16 期。图灵奖：罗伯特·弗洛伊德（1978）
本文来自 wiki:Robert W. Floyd，翻译基于 谷歌翻译.
知识点：图最短路径算法——弗洛伊德算法
罗伯特·W·弗洛伊德（1936 年 6 月 8 日 - 2001 年 9 月 25 日），美国计算机科学家。他设计了 Floyd-Warshall 算法，该算法可以有效地找到图中的所有最短路径。他在一篇论文中介绍了渲染图像的误差扩散的重要概念，也称为 Floyd–Steinberg 抖动（尽管他区分了抖动和扩散）。他在 1967 年发表的论文《Assigning Meanings to Programs》中开创了使用逻辑断言进行程序验证的领域，这是对后来的 Hoare 逻辑的贡献。
他于 1978 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 15 期。图灵奖：约翰·巴克斯（1977）
本文来自 wiki:John Backus，翻译基于 腾讯交互翻译.
约翰·华纳·巴克斯（英语：John Warner Backus，1924 年 12 月 3 日-2007 年 3 月 17 日），美国计算机科学家。他领导的团队发明并实现了 FORTRAN，这是第一种广泛使用的高级编程语言。他也是巴科斯范式（BNF）的提出者，这是一种广泛使用的、用来定义形式语言语法的记号法。
他于 1977 年获得图灵奖。