1973年:CharlesW。Bachman(查尔斯·巴赫曼)
理由:对关系数据库模型的贡献。
1974年:DonaldE。Knuth(唐纳德·克努斯)
理由:在算法设计和分析方面的突出贡献。
1975年:AllenNewell(艾伦·纽厄尔),HerbertA。Simon(赫伯特·西蒙)
理由:在人工智能领域的基础性工作,特别是在问题解决和语言理解方面。
1976年:MichaelO。Rabin(迈克尔·拉宾),DanaS。Scott(达纳·斯科特)
理由:在自动机理论和形式化语言理论方面的突出贡献。
1977年:JohnBackus(约翰·贝克斯)
理由:对高级程序设计语言和编译器设计的贡献。
1978年:RobertW。Floyd(罗伯特·弗洛伊德)
理由:在程序验证和图算法方面的重要贡献。
1979年:KennethE。Iverson(肯尼斯·艾弗森)
理由:对APL编程语言的设计和实现的贡献。
1980年:TonyHoare(托尼·霍尔)
理由:在排序算法和并发编程方面的贡献。
1981年:EdgarF。Codd(埃德加·科德)
理由:对关系数据库模型的发展和推广。
1982年:StephenA。Cook(斯蒂芬·库克)
理由:在计算复杂性理论的贡献,特别是对NP完全性的研究。
1983年:KenThompson(肯·汤普森),DennisRitchie(丹尼斯·里奇)
理由:对UNIX操作系统的设计和实现。
1984年:NiklausWirth(尼古劳斯·维尔特)
本小章还未完,请点击下一页继续阅读后面精彩内容!
理由:对程序设计语言的设计和实现的贡献,特别是Pascal语言的开发。
1985年:RichardM。Karp(理查德·卡普)
理由:在算法设计和复杂性理论方面的突出贡献。