您所在的位置：首页 >> 最新动态 >> 焦点男人 >> 新闻正文

历届图灵奖获得者研究方向及贡献！

男人 2007-9-1 男人生殖健康网 http://www.comeonman.cn 所属专题：诺贝尔奖

获奖科学家研究方向分布：
硬件，体系结构 (2)

Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) -- RISC & 编译优化

程序设计语言(10)

Alan J. Perlis (1966) -- ALGOL
Edsger Wybe Dijkstra (1972) -- ALGOL
John W. Backus (1977) -- FORTRAN
Kenneth Eugene Iverson (1979) -- APL程序语言
Niklaus Wirth (1984) -- PASCAL
John Cocke (1987) -- RISC & 编译优化
Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula语言和面向对象概念
Alan Kay(2003) -- SmallTalk语言和面向对象程序设计
Peter Naur(2005) -- ALGOL60以及编译设计

形式语言, 程序语言语义(4)

Robert W. Floyd (1978) -- 编程语言语义，自动程序验证
C. Antony R. Hoare (1980) -- Hoare Logic, CSP
Robin Milner (1991) -- LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) -- 时序逻辑和系统验证

算法设计 (10)

Richard Hamming (1968) -- 汉明码
James Hardy Wilkinson (1970) -- 数值分析
Donald E. Knuth -- Art of Computer Programming
John E. Hopcroft，Robert Endre. Tarjan (1986) -- 数据结构和算法设计
William (Velvel) Morton Kahan (1989) -- 浮点运算
姚期智(Andrew Chi-Chih Yao) (2000) -- 伪随机数复杂性，密码系统和通讯复杂性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公钥密码技术 --RSA

计算理论，自动机，计算复杂性 (7)

Dana Stewart Scott (1976) -- 自动机
Michael Oser Rabin (1976) -- 自动机
Stephen Arthur Cook (1982) -- NP完全性
Richard Manning Karp (1985) -- 证明一个问题是否是属于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) -- 计算复杂性
Manuel Blum (1995) -- 计算复杂性，密码系统和程序检查验证

人工智能 (6)

Marvin Lee Minsky (1969) -- 神经元网络
John McCarthy (1971) -- LISP
Allen Newell，Herbert Simon (1975) -- Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) -- 专家系统

操作系统 (4)

Dennis MacAlistair Ritchie，Ken Thompson (1983) -- UNIX
Fernando Jose Corbato (1990) -- 分时系统
Frederick P. Brooks(1999) -- IBM System360 操作系统

数据库 (3)

Charles W. Bachman (1973) -- 数据库
Edgar Frank Codd (1981) -- 关系数据模型
James Gray(1998) -- 数据库和事务处理

图形技术和交互式系统 (2)

Ivan Edward Sutherland (1988) -- 图形技术，CAD
Douglas Engelbart(1998) --

此新闻共有2页 1 2