2. Gook 计算复杂性。 1983 年 Ken 、 UNIX 操作系统和 C 语言。
3. Clark、Allen 和 开发了用于检测计算机硬件和软件中设计错误的自动化方法。
4.阿米尔·伯努利顺序逻辑、程序和系统验证。
5. 迈克尔·拉宾 ( Rabin),达纳·斯科特 (Dana Scott) 非确定性自动机。
6. Alan Paley 高级编程技巧和编译器构建。
7. 编程语言和系统设计的实践和理论。
8. Karp的算法理论,特别是NP-完备性理论。
9. 、 和 Likun Yang 的深度学习。
10. John 高级编程系统,编程语言规范的正式定义 1978 Floyd 设计高效可靠软件的方法
11. Aihou 和 对编程语言实现的基本算法和理论做出了贡献。
12、 和 发明了-密钥交换,为公钥加密技术做出了重大贡献。
13. 姚启智计算理论,包括伪随机数生成、密码学和通信复杂性。
14. 存储程序计算机EDSAC,程序库。
15. 帮助设计和制造了第一台现代个人电脑。
16. 对众多计算理论的变革性贡献。
17. James Gray 数据库和事务处理。
18. 《编程语言的科学与艺术》。
19.托尼·霍尔编程语言的定义和设计。
20. 在密码学领域, 和 在复杂性理论的基础上做出了革命性的工作; 并率先开发了新的可数学证明的有效验证机制。
21. Juris 和 计算复杂性理论。
22. Judea Pearl 通过概率论和因果推理为人工智能领域做出了基础性贡献。
23. 分布式个人计算环境。
24. 查尔斯·巴赫曼数据库技术。
25. 对分布式和整合系统的理论和实践做出了根本性贡献,特别是在因果逻辑时序(锁)、安全性和生存性()以及复制状态机(nes)等领域。 以及诸如顺序一致性(y)之类的理论概念的发明。
26. ,Raj Reddy 大规模人工智能系统。
27. 计算机体系结构、操作系统、软件工程。
28.弗朗西斯·艾伦优化编译器。
29.曼努埃尔·布鲁姆的计算复杂性理论及其在密码学和程序验证中的应用。
30. 算法分析、编程语言设计、编程。
31. 编程语言和数学符号、交互系统设计、APL 教学、编程语言理论与实践。
32.艾伦·凯面向对象编程。
33. Wirth 编程语言设计、编程。
34.约翰·麦卡锡人工智能。
35. 艾伦·纽厄尔 (Allen )、赫伯特·西蒙 ( Simon) 人工智能、人类认知心理学和列表处理 ()。
36.图灵奖获得者
37. James 数值分析,线性代数,回归误差分析。
38. 图灵奖一般在每年三月下旬颁发。 从1966年到2020年,图灵奖已颁发给74位获奖者,主要是美国和欧洲的科学家。 2000年,中国科学家姚期智获得图灵奖,这是中国人第一次也是唯一一次获得图灵奖。
39、图灵奖( Award),全称AM图灵奖(ACMA.),是美国计算机协会(ACM)于1966年设立的计算机奖项,名称取自艾伦·马西森·图灵(Alan M.),旨在奖励对计算机行业做出重要贡献的个人。 图灵奖获奖要求极高,颁奖流程极其严格。 一般来说,每年仅授予一名计算机科学家。 图灵奖是计算机领域的国际最高奖项,被誉为“计算机界的诺贝尔奖”。
1940 年,John 和 David 开创了一种系统的定量方法来设计和评估计算机体系结构,对微处理器行业产生了持久的影响。
41. 费尔南多·科巴托 CTSS 和。
42. 、Adi 、 公钥密码学(RSA 加密算法)。
43. John 和 Tayan 的算法和数据结构的设计和分析。
44. Edwin 和 对 3D 计算机图形学做出的根本性贡献以及这些技术对电影制作和其他应用中的计算机生成图像 (CGI) 产生的革命性影响。
45.马文·明斯基人工智能。
46. 对现代数据库的概念和实践做出了基础性贡献。
47. Vint Cerf,罗伯特·卡恩 TCP/IP 协议。
48.道格拉斯·恩格尔巴特交互式计算。
49. 伊万·萨瑟兰的计算机图形学。 1989 年 Cahan 的数值分析。
50. Robin LCF,ML 语言,CCS。
51. Edgar Coder 数据库系统,尤其是关系数据库。
52. John Dahl 和 的面向对象编程。
53. John Coker 的编译理论、大型系统的体系结构以及精简指令集 (RISC) 计算机的开发。
54. 蒂姆·伯纳斯·李发明了万维网、第一个浏览器以及使万维网得以扩展的基本协议和算法。
55. 数值方法、自动编码系统、错误检测和纠错码。