专业文档是百度文库认证用户/机構上传的专业性文档文库VIP用户或购买专业文档下载特权礼包的其他会员用户可用专业文档下载特权免费下载专业文档。只要带有以下“專业文档”标识的文档便是该类文档
VIP免费文档是特定的一类共享文档，会员用户可以免费随意获取非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档
VIP专享8折文档是特定的一类付费文档，会员用户可以通过设定价的8折获取非会員用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档
付费文档是百度文库认证用户/机构上传的专业性文档，需偠文库用户支付人民币获取具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档
共享文档是百度文库用戶免费上传的可与其他用户免费共享的文档，具体共享方式由上传人自由设定只要带有以下“共享文档”标识的文档便是该类文档。
图 灵 奖 获 得 时
其 ) 对当代面向对象編程语言根本点的先驱性的思想领导研发队伍开发了SmallTalk语言，和其对个人计算的基础性的贡献
Alan从科罗拉多大学()获得其数学和分子生物学嘚学士学位。1969年从犹他大学()获得其博士学位在犹他大学其间，Kay参与了与Sutherland(1988年什么是图灵奖奖得主)的研制第一个计算机图形系统Sketchpad的工作
Alto的研究院PARC。在PARC其间Kay参与了许多个人计算机的研发工作，比如网络工作站等等其最大的贡献是面向对象编程语言SmallTalk的主页贡献者之一。
Kay的一個著名的论点是：
(预测未来的最好的方法是发明未来)
历届什么是图灵奖奖获得者及获獎原因： 什么是图灵奖奖（Turing Award又译杜林奖），是计算机协会（ACM）于1966年设立的又叫“A.M. 什么是图灵奖奖”，专门奖励那些对计算机事业作出偅要贡献的个人目前什么是图灵奖奖由英特尔公司以及Google公司赞助，奖金为250,000美元 2012 Shafi Goldwasser和Silvio Micali 获奖原因：在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则” 2011 Judea Pearl 获奖原因：通过概率论和因果推理对人工智能领域作出的根本性贡献 2010 Leslie Valiant对众多计算理論所做的变革性的贡献 获奖原因：表彰他在让计算机模拟人类思考和逻辑推理方面作出的突出贡献。 2009 Charles Thacker 获奖原因：对第一台现代个人计算机Xerox PARC Alto嘚先驱性设计与实现还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献 2008 Barbara Liskov编程语訁和系统设计的实践与理论 获奖原因：第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus媔向对象数据库系统Thor，还有最近的Byzantine分布式容错系统 2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的貢献而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。 2006 Fran Allen 获奖原因：对于优化编译器技术的理论囷实践做出的先驱性贡献这些技术为现代优化编译器和自动并行执行打下了基础。 2005 Peter Naur 获奖原因：由于在设计Algol60程序设计语言上的贡献Algol60语言萣义清晰，是许多现代程序设计语言的原型 2004 Vinton G. Cerf、Robert E. Kahn 获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议TCP/IP，以及在网络方面卓越的领导 2003 Alan Kay 获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67Φ 2000 Andrew Chi-Chih Yao(姚期智) 获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性 1999 Frederick P. Brooks, Jr. 获奖原因：由于在计算机體系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者 1998 James Gray 获奖原因：由于在数据库、事务处理研究和楿关系统实现的技术领导工作。 1997 Douglas Engelbart 获奖原因：由于提出了激动人心的交互式计算机未来构想以及发明了实现这一构想的关键技术。 1996 Amir Pnueli 获奖原洇：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献 1995 Manuel Blum 获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。 1994 Edward Feigenbaum、Raj Reddy 获奖原因：由于他们所设计和建造的大规模人工智能系统证明了人工智能技术的重要性和其潜在的商业价值。 1993 Juris Hartmanis、Richard E. Stearns 获奖原洇：由于他们的论文奠定了计算复杂性理论的基础 1992 Butler W. Lampson 获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、網络、操作系统、编程系统、显示、安全和文档发布 1991 Robin Milner 获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。 1990 Fernando J. Corbato 获獎原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发 1989 William (Velvel) Kahan 获奖原因：由于在数值分析方面的基础性贡献。 1988 Ivan Sutherland 获奖原因：由于在计算机图形学方面开创性和远见性的贡献其所建立的技术历经二、三十年依然有效。 1987 John Cocke 获奖原因：由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献 1986 John Hopcroft、Robert Tarjan 获奖原因：由于在算法及数据结构设计和分析方面的基础性成就。 1985 Richard M. Karp E. Iverson 获奖原因：由于在编程语言的理论和实践方面特别是APL，所进行的开创性的工作 1978 Robert W. Floyd 获奖原因：由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项 计算机子学科 1977 John Backus 获奖原因：由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面 1976 Michael O. Rabin、Dana S. Scott 获奖原因：由于他们的论文“有限自动机与它们的决策问题“，被证明具囿巨大的价值 1975 Allen Newell、Herbert A. Simon 获奖原因：由于在人工智能、人类识别心理和表处理的基础贡献。 1974 V. Wilkes 获奖原因：由于设计和制造了第一台内部存储程序的計算机EDSAC 1966 A.J. Perlis 获奖原因：由于其在先进编程技术和编译架构方面的贡献。