跳转到内容

尤里斯·哈特马尼斯

维基百科,自由的百科全书
尤里斯·哈特马尼斯
Juris Hartmanis
出生(1928-07-05)1928年7月5日
 拉脫維亞里加
逝世2022年7月29日(2022-07-29)(94歲)
母校加州理工學院
奖项图灵奖
科学生涯
研究领域计算复杂性
机构通用电气
康奈尔大学
博士生艾倫·鮑羅丁英语Allan Borodin
德克斯特·科贊英语Dexter Kozen

尤里斯·哈特马尼斯 (英語:Juris Hartmanis,1928年7月5日—2022年7月29日)[1]是一名美国理论计算机科学家康奈尔大學计算机科学教授。

生平

[编辑]

1993年,他与理查德·斯特恩斯一起因在計算複雜性理論取得的杰出贡献而获得图灵奖[2]

出版书籍

[编辑]
  • Berman, L.; Hartmanis, J., On isomorphisms and density of NP and other complete sets, SIAM Journal on Computing, 1977, 6 (2): 305–322 [2013-12-23], MR 0455536, doi:10.1137/0206023, (原始内容存档于2020-08-29) .
  • Hartmanis, J.; Stearns, R. E., On the computational complexity of algorithms, Transactions of the American Mathematical Society, 1965, 117: 285–306, JSTOR 1994208, MR 0170805 .

参照

[编辑]
  1. ^ Juris Hartmanis July 5 1928 July 29 2022 (age 94). usobit.com. 2022-07-30 [2022-07-31]. (原始内容存档于2022-07-31). 
  2. ^ A. M. Turing Award. 计算机协会. [2013年12月25日]. (原始内容存档于2013-12-24). 

外部链接

[编辑]