计算机英语第十三章.ppt

1972年获得者埃德斯加?狄克斯特拉最先察觉编程语言中goto有害，著名的狄克斯特拉算法就是以他的名字命名的； 1973年获得者查尔斯?巴赫曼是网状数据库之父； 1974年获得者唐纳德?克努是程序和算法的经典巨著《计算机程序设计的艺术》作者； 1975年获得者赫伯特?西蒙和艾伦?纽厄尔是人工智能符号主义学派创始人； 1976年获得者米凯尔?拉宾和达纳?斯科特是非确定性有限状态自动机理论的开创者； 1984年获得者尼克劳斯?沃思是PASCAL之父及结构化程序设计的首创者； 1985年获得者理查德?卡普发明了分枝限界法； 1986年获得者约翰?霍普克洛夫特和罗伯特?陶尔扬是算法设计专家； 1987年获得者约翰?科克是RISC概念的首创者； 1988年获得者伊万?萨瑟兰是计算机图形学之父； 1989年获得者威廉?卡亨是浮点计算的先驱； 1990年获得者科百图在开发第一个分时系统CTSS以及其后的分时操作系统MULTICS上发挥了巨大的作用 ； 1998年获得者詹姆斯?格雷是数据库技术和事务处理专家； 1999年获得者弗雷德里克?布鲁克斯是IBM 360系列计算机的总设计师； 2000年获得者姚期智对计算理论做出了诸多贡献； 2001年获得者奥尔－约翰?和克里斯登?奈加特是面向对象技术的奠基人； 2002年获得者利维斯、沙米尔和阿德勒曼公共密匙算法上做出了贡献； 2008年获得者芭芭拉?利斯科夫在计算机程序语言设计方面有开创性工作和杰出贡献； 2009年获得者查理斯?泰克尔在第一台现代个人计算机Xerox PARC Alto、局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面有重大贡献。 2010年获得者莱斯利·瓦伦特开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。 Ken Thompson and Dennis M. Ritchie 1983 For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system Ken Thompson and Dennis M. Ritchie: 两人都是美国人, 同在Bell实验室工作。Thompson发明了直到今天仍在广泛使用的著名的UNIX系统。在Thompson发明了UNIX之后, 各大公司相继推出各自的UNIX版本, 包括SUN的Solaris、HP的HP－UX、加州大学伯克力分校的BSD等。而Ritchie则开发了C语言, 并用C重写了Thompson用汇编语言开发的UNIX, 这极大地提高了UNIX系统的可移植性 Niklaus Wirth 1984 For developing a sequence of innovative computer languages, EULER, ALGOL-W, MODULA and PASCAL Niklaus Wirth: 瑞士人, 曾指出: 算法＋数据结构＝程序。他是高级程序设计语言PASCAL的开发者, 同时也是结构化程序设计的首创者。同时, 对ALGOL60进行了改进, 扩充了BNF Richard M. Karp 1985 For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness Richard M. Karp: 美国人, 在算法设计与分析、计算复杂性理论、随机化算法等诸多方面做出杰出贡献, 首提分支限界法求解策略, 对相关算法进行了改进 John Hopcroft and Robert Tarjan 1986 For fundamental achievements in the design and analysis of algorithms and data structures John