1993年授予尤里斯·哈特马尼斯（Juris Hartmanis）的图灵奖正式认可了他在建立计算复杂性理论数学基础方面的作用。在整个职业生涯中，这位拉脱维亚出生的科学家定义了如何根据解决问题所需的时间和空间来对计算问题进行分类，从根本上塑造了现代计算机科学研究的轨迹和学术部门的发展。
早年生活与学术基础
尤里斯·哈特马尼斯于1928年出生在里加，在德国度过一段时间后最终移居美国。他在密苏里大学堪萨斯分校进行研究生学习，于1951年获得应用数学硕士学位。他于1955年在加州理工学院完成了正规教育，在罗伯特·P·迪尔沃思的指导下获得博士学位。他的早期职业生涯包括在康奈尔大学和俄亥俄州立大学任教，之后于1958年加入通用电气研究实验室。
计算复杂性理论
在通用电气工作期间，哈特马尼斯与理查德·E·斯特恩斯合作，将计算复杂性的研究形式化。他们的工作引入了基于计算时间的分类问题，建立了时间层次定理。与P·M·刘易斯二世一起，哈特马尼斯将这些概念扩展到空间使用，为确定性空间复杂性提供了早期见解。在随后的几十年里，他探索了NP完全集的结构并定义了布尔层次结构，影响了对计算极限的更广泛理解。
机构领导与倡导
哈特马尼斯于1965年回到康奈尔大学，担任教授，并成为世界上首批计算机科学系之一的首任系主任。他坚定地致力于该学科的发展，主持了1992年出版的美国国家研究委员会的一项重要研究《计算未来》（Computing the Future）。1996年至1998年间，他担任美国国家科学基金会计算机与信息科学与工程局副局长。
表彰与专业会员资格
在整个职业生涯中，哈特马尼斯当选为美国国家工程院、美国国家科学院和美国艺术与科学院院士。他是计算机协会（ACM）和美国数学学会的成员。他的祖国在2001年授予他拉脱维亚科学院大奖章，以表彰他的科学贡献。直到2022年去世，他一直是国际研究社区的活跃成员。
快速事实
- 出生：1928年，里加 - 去世：2022年 - 图灵奖得主：1993年 - 国籍：美国；拉脱维亚 - 博士学位授予机构：加州理工学院 - 主要领域：计算复杂性理论 - 当选美国国家工程院院士：1989年 - 学术基地：康奈尔大学
读者常见问题
### 尤里斯·哈特马尼斯对计算机科学的主要贡献是什么？
他建立了计算复杂性理论的基础，该理论根据解决问题所需的时间和空间资源对问题进行分类。
### 哈特马尼斯是否获得了出生国的学术表彰？
是的，他是拉脱维亚科学院院士，并于2001年获得了他们的大奖章。
