ACM通信
新闻
纪念:Juris Hartmanis 1928-2022
今天，复杂性理论的基本概念已经牢牢地植根于计算机科学的基石之中，但过去并非如此。直到1965年，计算机科学家们才知道，有些问题——比如找到航空公司的最佳时刻表——似乎比其他问题要困难得多:例如，在已排序的电话簿中查找人名。计算机专业人员缺乏严格讨论这些问题的概念。他们甚至没有词汇。
1965年，当Juris Hartmanis和Richard E. Stearns发表了他们开创性的论文《论算法的计算复杂度》时，情况发生了变化。那篇文章引入了复杂性类的概念，提供了一种使用多带图灵机推理复杂性的直接方法，并从数学上证明了复杂性类的数量是无限的。这篇论文为同年晚些时候由同一批作者发现空间复杂性奠定了基础，并为斯蒂芬·库克和列奥尼德·莱文独立于1971年发现np完全复杂性类奠定了基础。
由于这项工作，Hartmanis和Stearns被授予1993年ACM A.M.“以表彰他们的开创性论文，为计算复杂性理论领域奠定了基础。”
ACM研究员哈特曼尼斯于2022年7月29日去世，享年94岁。除了是复杂性理论的共同发明人，他还是康奈尔大学计算机科学系的创始主席——这是世界上最早的一个，他在这个新兴领域指导了几代学生和教师。事实上，在Hartmanis去世后不久出现的许多对他的致敬和个人遗嘱清楚地表明，他将因为他的教学、友谊和对计算机科学社区的领导而被铭记，就像他获奖的才华一样。
麻省理工学院教授瑞安·威廉姆斯在一份公众纪念书中写道:“能认识他，我非常感激。”威廉姆斯第一次见到哈特曼尼斯是在1999年，当时他还是康奈尔大学的一名本科生。Williams在他的计算机理论导论课程中遇到了困难，然后选修了Hartmanis的研究生复杂性课程，在这门课程中，所有的理论概念都迅速成型。但威廉姆斯写道，真正起作用的是辅导。“没有他的信仰，我永远不会成为一名理论计算机科学家。如果没有他最初的影响，我永远不会成为一个好医生。”
哈特曼尼斯还曾两次担任康奈尔大学计算机科学系主任(1977-1983年和1992-1993年)。他于2001年退休，但仍担任Walter R. Read计算机科学与工程荣誉教授。
我非常感激能认识(哈特曼尼斯)。没有他的信仰，我永远不会成为一个理论计算机科学家。没有他最初的影响，我永远不可能成为一个好医生。Ryan Williams麻省理工学院电气工程和计算机科学教授
1990年4月，他成为新成立的国家研究委员会的主席，该委员会的任务是评估“计算机科学和技术的范围和方向”。结果就是1992年国家科学院的报告计算的未来:计算机科学和工程的更广泛的议程。这份有影响力的288页报告评估了美国政府对计算机科学与工程研究的支持，许多人认为这种支持是不够的，不仅危及美国的领导地位，而且危及计算机的未来。
与Hartmanis共同编辑这份报告的Herbert Lin最近加入了美国国家科学院计算机科学和电信委员会，担任参谋人员。林回忆道:“Juris是第一个与我有密切工作关系的计算机科学家。”“和他合作计算未来在美国，他对了解美国科学政策的现实持开放态度，在向我介绍计算机科学文化时，他对我很有耐心。他不需要把我当作同伴——但他确实这样做了(并促成了一段长达数十年的关系)。我将永远感激我们能在这么长时间里如此偶然地相遇。”
在另一个科技领导角色中，Hartmanis从1996年到1998年担任国家科学基金会(NSF)计算机和信息科学与工程理事会(CISE)的助理主任。
Hartmanis于1981年成为美国科学促进会会员，1992年成为美国艺术与科学学院会员，1994年成为ACM会员，1989年成为国家工程院会员。他也是美国数学学会的会员和国家科学院的成员。2000年，计算机研究协会授予Juris杰出服务奖。2001年，拉脱维亚科学院授予他最高奖章，以表彰他对计算机科学的贡献。
数字1993年，Juris Hartmanis在纽约伊萨卡的康奈尔大学拍摄。
哈特曼尼斯1928年出生于拉脱维亚。在1940年6月，作为希特勒和斯大林秘密协议的一部分，苏联入侵拉脱维亚之前，他有一个愉快而平静的童年。尤利斯的父亲是拉脱维亚的一名将军，他被逮捕，送往莫斯科接受审判，最终被处决。1941年，德国背叛俄国，重新占领了拉脱维亚;1944年，苏军准备夺回德国时，哈特曼尼斯、他的母亲和妹妹向西逃往德国。
二战后，哈特曼尼斯在马尔堡大学学习物理学。1951年，他移居美国，最终于1955年获得加州理工学院数学博士学位。毕业后，他在康奈尔大学当了两年讲师，并在1957-1958学年担任俄亥俄州立大学的助理教授。1958年，他加入了位于纽约州斯克内克塔迪的通用电气研究实验室。
理查德·斯特恩斯于1961年加入ge。1963年，两人将他们的复杂性论文的初稿提交给了美国数学学会学报该杂志最终于1965年5月发表了这篇文章。同年，哈特曼尼斯回到康奈尔大学(与哈特曼尼斯一起，斯特恩斯也在1994年被提升为ACM研究员)。
哈特曼尼斯以善良、耐心、深思熟虑、机智和试图在他的讲座中塞进太多内容而闻名。他喜欢在卡尤加湖上航行，经常在家里招待教职员工和外地游客。他的大女儿猜测，这影响了她在康奈尔大学主修酒店管理和酒店管理，花了几年的时间学习酒店管理，最终回到康奈尔大学教授酒店管理;她的妹妹当了副厨师长。
Juris Hartmanis有三个孩子，四个孙子和两个曾孙。一个
数字图书馆是由计算机协会出版的。版权所有©2022 ACM, Inc.
没有发现记录