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



