首 页 新 闻 论 坛 博 客 分类信息 资料贴吧 科学家 实名举报 E-print
       直播 | 科学时报系列 | English | 电子杂志 | 邮件订阅 | RSS | 返回首页   
科学网首页>新闻中心>正文
图灵奖得主哈特马尼斯受聘中科院爱因斯坦讲席教授
  来源:中科院研究生院 发布时间:2007-9-20 13:33:42 小号字 中号字 大号字
 
9月18日,“爱因斯坦讲席教授”学术报告会在中科院研究生院中关村和玉泉路园区举行。美国康奈尔大学教授、1993年“图灵奖”获得者尤里斯·哈特马尼斯,以“计算机科学的本质——影响和未来”为题做报告。中科院国际合作局副局长曹京华主持报告会并为哈特马尼斯教授颁发中科院“爱因斯坦讲席教授”聘书。
 
诙谐的开场,激情的演讲,这位来自美国康奈尔大学的学者,给中国科学院的科研人员和学生带来了一场生动而又富有启发的学术报告。报告生动的诠释了计算机的本质,精辟的阐述了计算机未来的发展。演讲结束,科学院的科研人员和学生纷纷向这位图灵奖大师询问各种问题,并把报告会的气氛推向了高潮。
 
尤里斯·哈特马尼斯和理查德·斯特恩斯共同获得1993年图灵奖,该奖项是计算机界的最高奖,被称为“计算机界的诺贝尔奖”。尤里斯·哈特马尼斯和理查德·斯特恩斯的工作奠定了现代计算复杂性理论的基础。他们在1965年发表著名论文“论算法的计算复杂性”,首次提出研究计算量行为的基本思想,并提出用图灵机作为研究计算复杂性的数学模型。在此基础上提出了多代图灵机概念,并先后证明了计算复杂性的时间层谱定理和空间层谱定理,正是这些工作奠定了计算复杂性理论的数学基础。他们开辟了计算机科学的一个新的研究领域,比较完整地提出了计算复杂性的理论体系,并首次正式命名了“计算复杂性”,因而被公认为计算复杂性理论的主要创始人。
 
E-mail推荐
相关新闻 当周新闻排行
科学网博客:有关特聘教授津贴的讨论
四位首席工人当上浙江工商职业技术学院特...
北大长江特聘教授刘文剑博士获Besse...
长江学者年度成就奖颁发 特聘教授讲座教...
河海大学实施“河海特聘教授”计划
河南省第二位省级特聘教授到任
2003年中国科学技术大学“长江学者”...
中国农业大学教育部“长江学者奖励计划”...
科技部公示07年973项目经费预算初步...
谁能科研管理双肩挑?“我就是其中之一!”
9月13日《自然》杂志精选
最新研究显示:行星“虎口脱险” 地球命...
科学网关于“发帖恶意攻击许智宏、陈建生...
邓子新团队发现DNA第六元素硫
《自然-纳米技术》:2万黄金微粒绘出太...
全球假学历成灾 “多米诺骨牌”推倒政要...
京ICP备07017567
Copyright @ 2007 科学时报社 All Rights Reserved