1993年图灵奖--尤里斯·哈特马尼斯和理查德·斯特恩斯简介

      大家好，我是执念斩长河。今天讲述的是1993年图灵奖获得者尤里斯·哈特马尼斯和理查德·斯特恩斯。图灵奖奖励他们为计算机复杂性理论做出巨大贡献。被誉为“计算机复杂性理论的主要创始人”。读完本篇博文大家可以收获的是：

• 两人合作的著名论文
• 哈特马尼斯与图灵奖获得者合著的作品
• 哈特马尼斯的主要著作
• 斯特恩斯如何用上下文无关文法推动编译器发展

      哈特马尼斯是拉脱维亚人，生于1928年。第二次世界大战期间，为躲避战火，哈特马尼斯一家人背井离乡，沦为“流民”。哈特马尼斯的中学是在难民集中营完成的，之后他进入德国马尔布克大学学习物理。随后来到堪萨斯州大学攻读硕士学位。在此期间遇到了他的同时斯特恩斯发表《论算法的计算复杂性》。这篇论文开辟了计算机科学的一个新的研究领域，即“计算复杂性”，并奠定了它的理论基础。
      哈特马尼斯于1992年编写出版了《未来的计算–计算机科学与技术的广泛议题》一书。哈特马尼斯的主要作品有：

• 《时序机的代数结构理论》
• 《可行计算和可证明的复杂性性质》
• 《计算复杂性理论》

      与哈特马尼斯合作并共同获奖的斯特恩斯也是学数学的，1936年7月5日生于美国新泽西州的卡特维尔。1958年他在卡尔顿学院取得数学学士学位后进入普林斯顿大学，用了三年时间取得博士学位，其博士论文课题是关于博弈论的。后来对计算机复杂性感兴趣，一直与哈特马尼斯研究下去。斯特恩斯不仅对计算机复杂性理论做出贡献，还对编译器上颇有建树。1976年斯特恩斯最先提出将上下文无关文法的理论应用于编译器的设计，推动了编译器技术的发展。

第一张图哈特马尼斯，第二张图斯特恩斯