法学家哈特曼尼斯

Article

August 13, 2022

Juris Hartmanis(1928 年 7 月 5 日 - 2022 年 7 月 29 日)是一位出生于拉脱维亚的美国计算机科学家和计算理论家,他与 Richard E. Stearns 一起获得了 1993 年 ACM 图灵奖,以表彰他们奠定了基础的开创性论文计算复杂性理论领域”。 生活和事业 Hartmanis 于 1928 年 7 月 5 日出生于拉脱维亚。他是拉脱维亚军队将军 Mārtiņš Hartmanis 的儿子,也是诗人 Astrid Ivask 的兄弟。 1940年苏联占领拉脱维亚后,马尔蒂什·哈特马尼斯被苏军逮捕,死于监狱。二战后期,Mārtiņš Hartmanis 的妻子和孩子于 1944 年作为难民离开拉脱维亚,担心如果苏联再次接管拉脱维亚会危及他们的安全。他们首先搬到了德国,Juris Hartmanis 在那里获得了相当于硕士学位的马尔堡大学物理学。随后他移居美国,1951 年在堪萨斯城大学(现称为密苏里大学堪萨斯城分校)获得应用数学硕士学位,并于 1955 年获得博士学位。在 Robert P. Dilworth 的指导下,在加州理工学院获得数学博士学位。 1999 年 5 月,密苏里大学堪萨斯城分校授予他荣誉人文文学博士。 在康奈尔大学和俄亥俄州立大学教授数学后,Hartmanis 于 1958 年加入通用电气研究实验室。在通用电气期间,他发展了计算复杂性理论的许多原理。 1965年,他成为康奈尔大学教授。他是其计算机科学系(世界上最早的计算机科学系之一)的创始人之一和第一任主席。Hartmanis 在许多方面为国家推进计算机科学与工程 (CS&E) 的努力做出了贡献。最重要的是,他主持了国家研究委员会的研究,该研究导致了 1992 年出版的《计算未来——计算机科学与工程的广泛议程》,该研究根据其优先事项提出了建议,以维持 CS&E 的核心工作,拓宽该领域,以及改善CS&E本科教育。 1996 年至 1998 年,他担任美国国家科学基金会 (NSF) 计算机与信息科学与工程理事会 (CISE) 的助理主任。 1989 年,Hartmanis 被选为美国国家工程院院士,以表彰其对计算复杂性理论以及计算研究和教育的基本贡献。他是计算机协会和美国数学会的会员,也是美国国家科学院的成员。他还是拉脱维亚科学院的外籍院士,该院在 2001 年授予他大奖,以表彰他对计算机科学的贡献。 Stearns, Hartmanis 因一篇介绍时间复杂度类 TIME(f(n)) 并证明时间层次定理的论文而获得 1993 年图灵奖。 Hartmanis 于 1977 年与 Leonard Berman 合作的另一篇论文介绍了尚未解决的 Berman-Hartmanis 猜想,即所有 NP 完全语言都是多项式时间同构的。Hartmanis 于 2022 年 7 月 29 日去世。

奖项

美国科学促进会 (AAAS) 研究员,1981 年 美国国家工程院院士,1989 成员(外国):拉脱维亚科学院,1990 会员,美国艺术与科学学院,1992 1993 年 ACM 图灵奖 洪堡基金会研究奖,1993 年 特许研究员,ACM,1994 1999年人文文学名誉博士 计算研究协会 (CRA) 杰出服务奖,2000 拉脱维亚科学院大奖,2001 2013 年 ACM 杰出服务奖 2013年美国数学会就职研究​​员 美国国家科学院院士,2013

精选出版物

图书 精选文章

采访

Juris Hartmanis 已经接受了四次采访。视频是一个