图灵奖获奖人员介绍

来源:百度文库 编辑:神马文学网 时间:2024/05/24 00:41:52
1966年图灵奖获得者:艾伦·佩利  ----ALCOL语言和计算机科学的“催生者”
1967年图灵奖获得者:莫里斯·威尔克斯  ---- 世界上第一台存储程序式计算机EDSAC的研制者
1968年图灵奖获得者:理查德·哈明  —— 发明纠错码的大数学家和信息学专家
1969年图灵奖获得者:马文·明斯基   —— “人工智能之父”和框架理论的创立者
1970年图灵奖获得者:詹姆斯·威尔金森   ---- 数值分析专家和研制ACE计算机的功臣
1971年图灵奖获得者:约翰·麦卡锡  —— “人工智能之父”和LISP语言的发明人
1972年图灵奖获得者:埃德斯加·狄克斯特拉  —— 最先察觉“goto有害”的计算机科学大师
1973年图灵奖获得者:查尔斯·巴赫曼  —— “网状数据库之父”
1974年图灵奖获得者:唐纳德·克努特  —— 经典巨著《计算机程序设计的艺术》的年轻作者
1975年图灵奖获得者:赫伯特·西蒙和艾伦·纽厄尔   —— 人工智能符号主义学派的创始人
1976年图灵奖获得者:米凯尔·拉宾和达纳·斯科特  —— 非确定性有限状态自动机理论的开创者
1977年图灵奖获得者:约翰·巴克斯  —— FORTRAN和BNF的发明者
1978年图灵奖获得者:罗伯特·弗洛伊德  —— 前后断言法的创始人
1979年图灵奖获得者:肯尼思·艾弗森  —— 大器晚成的科学家,APL的发明人
1980年图灵奖获得者:查尔斯·霍尔  —— 从QUICKSORT、CASE到程序设计语言的公理化
1981年图灵奖获得者:埃德加·科德  ——  “关系数据库之父”
1982年图灵奖获得者:斯蒂芬·库克  —— NP完全性理论的奠基人
1983年图灵奖获得者:肯尼思·汤普森和丹尼斯·里奇  —— C和UNIX的发明者
1984年图灵奖获得者:尼克劳斯·沃思  —— PASCAL之父及结构化程序设计的首创者
1985年图灵奖获得者:理查德·卡普  —— 发明“分枝限界法”的三栖学者
1986年图灵奖获得者:约翰·霍普克洛夫特和罗伯特·陶尔扬  —— 硕果累累的算法设计大师
1987年图灵奖获得者:约翰·科克  —— RISC概念的首创者
1988年图灵奖获得者:伊万·萨瑟兰  —— 计算机图形学之父
1989年图灵奖获得者:威廉·卡亨  —— 浮点计算的先驱
1990年图灵奖获得者:费尔南多·考巴脱  ---- 实现分时系统的功臣
1991年图灵奖获得者:罗宾·米尔纳  —— 标准元语言ML的开发者
1992年图灵奖获得者:巴特勒·兰普森  —— 从Alto系统的首席科学家到微软的首席技术官
1993年图灵奖获得者:尤里斯·哈特马尼斯和理查德·斯特恩斯 —— 计算复杂性理论的主要奠基人
1994年图灵奖获得者:爱德华·费根鲍姆和劳伊·雷迪  —— 大型人工智能系统的开拓者
1995年图灵奖获得者:曼纽尔·布卢姆  —— 计算复杂性理论的主要奠基人之一
1996年图灵奖获得者:阿米尔·伯努利  —— 把时态逻辑引入计算机科学
1997年图灵奖获得者:道格拉斯·恩格尔巴特  —— 鼠标器的发明人和超文本研究的先驱
1998年图灵奖获得者:詹姆斯·格雷  —— 数据库技术和“事务处理”专家
1999年图灵奖获得者:弗雷德里克·布鲁克斯  —— IBM 360系列计算机的总设计师和总指挥
_xyz