
关于图灵奖获得者的介绍
图灵奖,是美国计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司赞助,奖金为100,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
截止至2005年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。
编辑本段历年图灵奖获得者 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 获奖原因:由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。
至理名言:预测未来的最好方法是创造它。
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman 获奖原因:由于在公共密钥理论和实践方面的基础性工作。
2001 Ole-Johan Dahl、Kristen Nygaard 获奖原因:由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言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 获奖原因:由于在算法理论方面,特别是NP-completeness理论方面,连续不断的贡献。
1984 Niklaus Wirth 获奖原因:由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。
1983 Ken Thompson、Dennis M. Ritchie 获奖原因:由于在通用操作系统理论研究,特别是UNIX操作系统的实现上的贡献。
1982 Stephen A. Cook 获奖原因:由于其于1971年发表的论文,奠定了NP-Completeness理论的基础。
1981 Edgar F. Codd 获奖原因:由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献,关系数据库之父。
1980 C. Antony R. Hoare 获奖原因:由于在编程语言的定义和设计方面的基础性贡献。
1979 Kenneth 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 Donald E. Knuth 获奖原因:由于在算法分析和程序语言设计方面的重要贡献,计算机程序设计艺术的作者。
1973 Charles W. Bachman 获奖原因:由于在数据库方面的杰出贡献。
1972 E.W. Dijkstra 获奖原因:由于对开发ALGOL做出了原理性贡献。
1971 John McCarthy 获奖原因:由于其讲稿The Present State of Research on Artificial Intellegence,对人工智能领域的贡献。
1970 J.H. Wilkinson 获奖原因:由于其在数值分析方面的研究工作。
1969 Marvin Minsky 获奖原因:人工智能理论及软件 1968 Richard Hamming 获奖原因:由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。
1967 Maurice V. Wilkes 获奖原因:由于设计和制造了第一台内部存储程序的计算机EDSAC。
1966 A.J. Perlis 获奖原因:由于其在先进编程技术和编译架构方面的贡献。
关于图灵奖获得者的介绍
图灵奖,是美国计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司赞助,奖金为100,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
截止至2005年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。
编辑本段历年图灵奖获得者 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 获奖原因:由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。
至理名言:预测未来的最好方法是创造它。
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman 获奖原因:由于在公共密钥理论和实践方面的基础性工作。
2001 Ole-Johan Dahl、Kristen Nygaard 获奖原因:由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言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 获奖原因:由于在算法理论方面,特别是NP-completeness理论方面,连续不断的贡献。
1984 Niklaus Wirth 获奖原因:由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。
1983 Ken Thompson、Dennis M. Ritchie 获奖原因:由于在通用操作系统理论研究,特别是UNIX操作系统的实现上的贡献。
1982 Stephen A. Cook 获奖原因:由于其于1971年发表的论文,奠定了NP-Completeness理论的基础。
1981 Edgar F. Codd 获奖原因:由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献,关系数据库之父。
1980 C. Antony R. Hoare 获奖原因:由于在编程语言的定义和设计方面的基础性贡献。
1979 Kenneth 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 Donald E. Knuth 获奖原因:由于在算法分析和程序语言设计方面的重要贡献,计算机程序设计艺术的作者。
1973 Charles W. Bachman 获奖原因:由于在数据库方面的杰出贡献。
1972 E.W. Dijkstra 获奖原因:由于对开发ALGOL做出了原理性贡献。
1971 John McCarthy 获奖原因:由于其讲稿The Present State of Research on Artificial Intellegence,对人工智能领域的贡献。
1970 J.H. Wilkinson 获奖原因:由于其在数值分析方面的研究工作。
1969 Marvin Minsky 获奖原因:人工智能理论及软件 1968 Richard Hamming 获奖原因:由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。
1967 Maurice V. Wilkes 获奖原因:由于设计和制造了第一台内部存储程序的计算机EDSAC。
1966 A.J. Perlis 获奖原因:由于其在先进编程技术和编译架构方面的贡献。
狄克斯特拉的论著及著作
管理策。
认为管理的全一个完整的决策过程,也就是说决穿于管理的全过程。
不仅选择行动方案是决策,制定计划是决策,行动的组织、实施、控制等等每个环节都存在着决策问题,所以说管理即决策\ 企业管理是企业发展的生命,企业管理取决于企业领导人的才能和智慧,即正确的决策。
正如经济学家所说:管理就是决策。
管理是永恒的话题,随着中国市场经济的深入发展,中国的企业需求各种人才,尤其是管理人才,事实提醒我们,企业领导者自己必须是人才,能够充分运用管理学理论是企业领导者正确决策的关键。
本科计算机科学与技术需要考研吗
研究生阶段主要干什么
看你想干嘛,如果将来想从事科研或者高校教育工作,那么考研时必须的,将来还得读博;如果想就业的话,那就去看一下你最希望取得工作是什么要求的,比如一些国企、事业单位和公务员,想留在省会城市都要求硕士毕业,那么你就去读;如果说自己满意的工作不需要非得是硕士,那么建议直接工作就好,因为计算机领域重要的是编程经验,这些工作经验和硕士阶段跟着老师做项目的经验要强得多。
研究生阶段主要要看你老师做什么,基本都是帮着老师做项目,在项目中学经验,学东西。
至于具体工作要看你什么方向,软件、硬件、嵌入式、人工智能、数据挖掘、很多方向的,希望能够帮到你
大学生应该做什么
论大学生应该做什么当代大学生是朝气蓬勃的青年一代,是祖国和民族的未来,肩负着推动中国走向世界强国的历史重任。
祖国的前途和命运如何,关键在于青年一代能否积极进取,继承和发扬老一辈的光荣传统,并结合自身的实际情况,不断开拓创新。
正如江泽民同志指出:领导干部讲政治,最重要的是通过自己的实践,体现在自己的日常工作和学习上。
无论自己从事什么工作,在什么岗位,都要树立高度的责任和敬业精神,尽心尽力把工作做好。
一切都要以党和人民利益为出发点,不能急功近利,更不能计较个人得失;要克服华而不实,飘浮虚荣的工作作风,要做老实人,办老实事,对工作勤勤恳恳,求真务实。
在高校,大学生党员队伍是大学生中先进性的代表群体,是国家建设和发展事业的骨干力量,他们的政治理论水平、思想道德修养和党性观念直接关系到国家的前途和命运。
当前,大学生党员队伍的主流是好的,能够经受得起考验。
作为在校的一名大学生党员,我们应该做到理论联系实际,不断提升在实践中服务人民大众的本领,我想具体应做到以下几点:一、关注大事。
我们是新一代的大学生,学校经常开展各式各样的活动,在开展活动的时候,“三个代表”重要思想就是活动的旗帜
对于承办的具体工作,要明了它和中心工作的关系,了解它的意义。
对于党在一个时期的方针政策,了解学校的基本情况。
二、关注声誉。
声誉是形象,声誉是品牌,声誉是生命。
学生是学校的代言人,我们的一言一行、一举一



