系数据库模型的贡献。
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(理查德·卡普)
理由:在算法设计和复杂性理论方面的突出贡献。
1986年:JohnHopcroft(约翰·霍普克劳夫特),RobertTarjan(罗伯特·塔扬)
理由:在图算法和数据结构方面的基础性工作。
1987年:JohnCocke(约翰·科克)
理由:在编译器设计和优化方面的突出贡献。
1988年:IvanSutherland(艾凡·萨瑟兰)
理由:在计算机图形学和交互式计算方面的开创性工作。
1989年:WilliamKahan(威廉·卡恩)
理由:在浮点运算和数值计算方面的贡献。
1990年:FernandoJ.Corbató(费尔南多·科巴托)
理由:对操作系统和分时系统的贡献,特别是时间共享系统的设计和实现。
——
Kimi深知,要获得图灵奖,她需要在理论上做出原创性的贡献,或者开发出具有深远影响的技术。
(本章未完,请翻页)
记住手机版网址:m.bqgw123.com