图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 53 期。图灵奖：约瑟夫·斯发基斯（2007）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 Wiki: Joseph Sifakis，翻译基于 谷歌翻译.
模型检查 Model-Checking
约瑟夫·斯发基斯（英语：Joseph Sifakis，希腊语：Ιωσήφ Σηφάκης，1946年12月26日—），希腊计算机科学家。他曾担任清华大学（2011-2012 年）和南方科技大学（2019 年）的客座教授。
他于 2007 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 49 期。图灵奖：彼得·诺尔（2005）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 Peter Naur，翻译基于 谷歌翻译.
Backus–Naur form (巴科斯-诺尔范式)
Peter Naur(1928年10月25日- 2016年1月3日)，丹麦计算机科学先驱，2005年图灵奖得主。他最为人所铭记的是，他与John Backus共同开发了用于描述大多数编程语言语法的Backus - naur形式(BNF)表示法。他还为创建ALGOL 60语言做出了贡献。
他于 2005 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 48 期。图灵奖：罗伯特·艾略特·卡恩（2004）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 [https://en.wikipedia.org/wiki/Robert_Kahn_(computer_scientist)]，翻译基于 谷歌翻译.
“互联网之父”之一，另一为同年图灵奖得主
罗伯特·艾略特·卡恩（Robert Elliot Kahn，生于1938年12月23日)，美国电气工程师，他与 Vint Cerf 一起，首先提出了传输控制协议(TCP)和互联网协议(IP)，这是互联网核心的基本通信协议。
他于 2004 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 47 期。图灵奖：文顿·瑟夫（2004）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Vint_Cerf，翻译基于 谷歌翻译.
“互联网之父”之一，另一为同年图灵奖得主
文顿·格雷·瑟夫（Vinton Gray Cerf，生于 1943 年 6 月 23 日）是美国互联网先驱，被公认为“互联网之父”之一，与 TCP/IP 共同开发者 Bob Kahn 共享这一称号。
他于 2004 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 46 期。图灵奖：艾伦·凯（2003）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Alan Kay，翻译基于 谷歌翻译.
GUI，smalltalk，面向对象
艾伦·科提斯·凯（Alan Curtis Kay，生于 1940 年 5 月 17 日），美国计算机科学家，以其在面向对象编程和窗口图形用户界面 (GUI) 设计方面的开创性工作而闻名。凯还是专业爵士吉他手，业余古典管风琴手，作曲家和戏剧设计师。
在施乐帕克研究中心，他领导了第一个现代窗口计算机桌面界面的设计和开发。
在那里，他还领导了颇具影响力的面向对象编程语言 Smalltalk 的开发，他亲自设计了该语言的大部分早期版本，并创造了“面向对象”一词。
他于 2003 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
❝
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 45 期。图灵奖：阿迪·沙米尔（2002）
❝
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
❝
本文来自 wiki:Adi Shamir[1]，翻译基于 谷歌翻译[2].
图片
Adi Shamir
❝
RSA 密码系统的 “S”
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 43 期。图灵奖：伦纳德·阿德曼（2002）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Leonard Adleman，翻译基于 谷歌翻译.
DNA 计算之父
伦纳德·阿德曼（Leonard Adleman，1945 年 12 月 31 日出生），美国计算机科学家。 他是 RSA 加密算法的创始人之一，他还因创建 “DNA 计算”而闻名。
他于 2002 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 42 期。图灵奖：克利斯登·奈加特（2001）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Kristen Nygaard，翻译基于 谷歌翻译.
面向对象编程之父之一
克利斯登·奈加特（Kristen Nygaard，1926 年 8 月 27 日－2002 年 8 月 10 日），挪威计算机科学家、编程语言先驱和政治家。 与奥利-约翰·达尔一起被认为是 Simula 和面向对象编程之父之一。
他于 2001 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 41 期。图灵奖：奥利-约翰·达尔（2001）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Ole-Johan Dahl，翻译基于 谷歌翻译.
面向对象编程之父之一
奥勒-约翰·达尔（Ole-Johan Dahl，1931 年 10 月 12 日－2002 年 6 月 29 日），挪威计算机科学家。 达尔是奥斯陆大学计算机科学教授，与 Kristen Nygaard 一起被认为是 Simula 和面向对象编程之父之一。
他于 2001 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 40 期。图灵奖：姚期智（2000）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Andrew Yao，翻译基于 谷歌翻译.
姚期智（Andrew Chi-Chih Yao，1946 年 12 月 24 日－），湖北孝感人，生于上海，中国计算机科学家、计算理论学家。 现任清华大学教授、交叉信息研究院院长。姚使用极小极大定理证明了现在所谓的姚氏原理。
姚曾入籍美国，并在美国工作多年。2015 年，他与杨振宁一起放弃美国公民身份，成为中国科学院院士。
他于 2000 年获得图灵奖。也是目前唯一一位获得此奖项的华人。