图灵奖库克_图灵奖和诺贝尔奖西蒙_图灵奖华人

1966年图灵奖获得者：艾伦•佩利（A. J. Perlis）PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)

—— ALCOL语言和计算机科学的“催生者”

2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V. Wilkes）

PhD, Cambridge; Prof, Cambridge

—— 世界上第一台存储程序式计算机EDSAC的研制者

3．1968年图灵奖获得者：理查德•哈明（Richard W. Hammin）

Prof, Naval Postgraduate School (was at Bell) (deceased)

—— 发明纠错码的大数学家和信息学专家

4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）

PhD, Princeton, Prof, MIT

—— “人工智能之父”和框架理论的创立者

5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H. Wilkinson）

BS, Cambridge; staff, National Physical Laboratory, London

—— 数值分析专家和研制ACE计算机的功臣

6．1971年图灵奖获得者：约翰•麦卡锡 （John McCarthy）

PhD, Princeton; Prof, Stanford

—— “人工智能之父”和LISP语言的发明人

7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W. Dijkstra）

PhD, U Amsterdam; Prof, UT Austin

—— 最先察觉“goto有害”的计算机科学大师

8．1973年图灵奖获得者：查尔斯•曼 （Charles W. Bachman）

staff, Honeywell

—— “网状之父”

9．1974年图灵奖获得者：唐纳德•克努（Donald E. Knuth）

PhD, Caltech; Prof, Stanford

—— 经典巨著《计算机程序设计的艺术》的年轻作者

10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔

Allen Newell --- PhD, Stanford; Prof, CMU (deceased)

Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)

—— 人工智能符号主义学派的创始人

11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特

Michael O. Rabin --- PhD, Princeton; Prof, Harvard

Dana S. Scott --- PhD, Princeton; Prof, CMU

—— 非确定性有限状态自动机理论的开创者

12．1977年图灵奖获得者：约翰•巴克斯（John Backus）

BS, Columbia; staff, IBM

—— FORTRAN和BNF的发明者

13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W. Floyd）

BS, Chicago; Prof, Stanford

—— 前后断言法的创始人

14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E. Iverson）

—— 大器晚成的科学家，APL的发明人

15．1980年图灵奖获得者：查尔斯•霍尔（C. Anthony R. Hoare）

Prof, Oxford(now at Microsoft)

—— 从QUICKSORT、CASE到程序设计语言的公理化

16．1981年图灵奖获得者：埃德加•科德（Edgar F. Codd）

PhD, Michigan; staff, IBM

—— “关系之父”

17．1982年图灵奖获得者：斯蒂芬•库克（Steven A. Cook）

PhD, Harvard; Prof, U Toronto

—— NP完全性理论的奠基人

18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇

Ken Thompson --- MS, Berkeley; staff, Bell-Labs

Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs

—— C和UNIX的发明者

19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）

PhD, Berkeley; Prof, ETH Zurich

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41227-1.html