计算机领域的诺贝尔奖是图灵奖,计算机界的诺贝尔奖图灵奖.DOC
计算机界的诺贝尔奖图灵奖
本文内容：
1. 图灵生平
2. 图灵奖简介
3. 历届图灵获得者
1．图灵生平
阿兰图灵(Alan Turing)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
—— PASCAL之父及结构化程序设计的首创者
20．1985年图灵奖获得者：理