9月18日，“爱因斯坦讲席教授”学术报告会在中科院研究生院中关村和玉泉路园区举行。美国康奈尔大学教授、1993年“图灵奖”获得者尤里斯·哈特马尼斯，以“计算机科学的本质——影响和未来”为题做报告。中科院国际合作局副局长曹京华主持报告会并为哈特马尼斯教授颁发中科院“爱因斯坦讲席教授”聘书。

 

诙谐的开场，激情的演讲，这位来自美国康奈尔大学的学者，给中国科学院的科研人员和学生带来了一场生动而又富有启发的学术报告。报告生动的诠释了计算机的本质，精辟的阐述了计算机未来的发展。演讲结束，科学院的科研人员和学生纷纷向这位图灵奖大师询问各种问题，并把报告会的气氛推向了高潮。

 

尤里斯·哈特马尼斯和理查德·斯特恩斯共同获得1993年图灵奖，该奖项是计算机界的最高奖，被称为“计算机界的诺贝尔奖”。尤里斯·哈特马尼斯和理查德·斯特恩斯的工作奠定了现代计算复杂性理论的基础。他们在1965年发表著名论文“论算法的计算复杂性”，首次提出研究计算量行为的基本思想，并提出用图灵机作为研究计算复杂性的数学模型。在此基础上提出了多代图灵机概念，并先后证明了计算复杂性的时间层谱定理和空间层谱定理，正是这些工作奠定了计算复杂性理论的数学基础。他们开辟了计算机科学的一个新的研究领域，比较完整地提出了计算复杂性的理论体系，并首次正式命名了“计算复杂性”，因而被公认为计算复杂性理论的主要创始人。