理查德·斯特恩斯

理查德·斯特恩斯(Richard Edwin Stearns),1936年7月5日出生于新泽西州的卡特维尔(Caldwell)。斯特恩斯还对编译器的设计与理论进行深入的研究并取得了成果。1976年,斯特恩斯最先提出将上下文无关文法的理论应用于编译器的设计,推动了编译器技术的发展。1993年Stearns被授予图灵奖以表彰其在计算复杂性理论领域发表的具有开创意义的研究文章。

理查德·斯特恩斯 - 简介

理查德·斯特恩斯(Richard Edwin Stearns),1936年7月5日出生于新泽西州的卡特维尔(Caldwell)。1958年他在卡尔顿学院(Carton College)取得数学学士学位后进入普林斯顿大学,用了3年时间取得博士学位,其博士论文课题是关于博奕论的。

理查德·斯特恩斯 - 经历

斯特恩斯跨进计算机科学的大门并成为一名出色的计算机科学家是十分偶然的。1960年暑假他到通用电气公司打工,被分配到研究实验室新成立的信息研究部,这使他有缘与已成为那里正式职工的哈特马尼斯一起工作。学过物理而后改行数学的哈特马尼斯和专攻数学的斯特恩斯相结合,双方取长补短,相得益彰,使他们的合作富有成果。

斯特恩斯和哈特马尼斯在通用电气公司研究计算复杂性的最初几年,实验室里并无计算机可用。他们当时完全是依靠严密的理论分析提出有关计算复杂性的一系列问题,并给出了科学的解释的。直到1964年,实验室才配了一台GE 300,斯特恩斯这才开始用BASIC编程,通过电传打字机接口使用计算机。在科学技术的发展史上,开创复杂而重要的学科领域并取得巨大成功的学者,最初往往在十分困难的条件下工作,这种情况是屡见不鲜的。

斯特恩斯还对编译器的设计与理论进行深入的研究并取得了成果。1976年,斯特恩斯最先提出将上下文无关文法的理论应用于编译器的设计,推动了编译器技术的发展。1993年Stearns被授予图灵奖以表彰其在计算复杂性理论领域发表的具有开创意义的研究文章。

理查德·斯特恩斯 - 贡献

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

TAGS: 人物 图灵奖获得者
上一页: 罗纳德·李维斯特 下一页: 理查德·哈明
相关名人更多>>
名人图文更多>>
相关名人更多>>
网站首页 | 网站地图 | 电脑版
个人简历网-移动版 m.gerenjianli.com