1973年：Charles W. Bachman（查尔斯·巴赫曼）

理由：对关系数据库模型的贡献。

1974年：Donald E. Knuth（唐纳德·克努斯）

理由：在算法设计和分析方面的突出贡献。

1975年：Allen Newell（艾伦·纽厄尔），Herbert A. Simon（赫伯特·西蒙）

理由：在人工智能领域的基础性工作，特别是在问题解决和语言理解方面。

1976年：Michael O. Rabin（迈克尔·拉宾），Dana S. Scott（达纳·斯科特）

理由：在自动机理论和形式化语言理论方面的突出贡献。

1977年：John Backus（约翰·贝克斯）

理由：对高级程序设计语言和编译器设计的贡献。

1978年：Robert W. Floyd（罗伯特·弗洛伊德）

理由：在程序验证和图算法方面的重要贡献。

1979年：Kenneth E. Iverson（肯尼斯·艾弗森）

理由：对APL编程语言的设计和实现的贡献。

1980年：Tony Hoare（托尼·霍尔）

理由：在排序算法和并发编程方面的贡献。

1981年：Edgar F. Codd（埃德加·科德）

理由：对关系数据库模型的发展和推广。

1982年：Stephen A. Cook（斯蒂芬·库克）

理由：在计算复杂性理论的贡献，特别是对NP完全性的研究。

1983年：Ken Thompson（肯·汤普森），Dennis Ritchie（丹尼斯·里奇）

理由：对UNIX操作系统的设计和实现。

1984年：Niklaus Wirth（尼古劳斯·维尔特）

本小章还未完，请点击下一页继续阅读后面精彩内容！

理由：对程序设计语言的设计和实现的贡献，特别是Pascal语言的开发。