图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 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 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 14 期。
本文来自 wiki:Dana Scott，翻译基于 腾讯交互翻译.
达纳·斯图尔特·斯科特（英语：Dana Stewart Scott，1932 年 10 月 11 日-），美国逻辑学家，现为卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑名誉教授。
他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。同时，他还从事模态逻辑，拓扑学和范畴理论的研究。
因在自动机理论方面的工作，斯科特获得了 1976 年的图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 13 期。
本文来自 wiki: Michael O. Rabin，翻译基于 腾讯交互翻译.
迈克尔·奥瑟·拉宾，出生于 1931 年 9 月 1 日，是以色列数学家、计算机科学家。
1976 年他和赫伯特·西蒙（Herbert A. Simon，司马贺）一起因人工智能方面的基础贡献而被授予图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 12 期。
本文来自 wiki: Herbert A. Simon，翻译基于 腾讯交互翻译.
赫伯特·亚历山大·西蒙（英语：Herbert Alexander Simon，1916年6月15日-2001年2月9日），美国政治学家。他的研究以其跨学科性质而闻名，跨越了认知科学，计算机科学，公共行政，管理和政治科学等领域。他的工作影响了计算机科学、经济学和认知心理学领域。