Juris Hartmanis

Juris Hartmanis（1928 年 7 月 5 日至 2022 年 7 月 29 日）是一位出生于拉脱维亚的美国计算机科学家和计算理论家，他与 Richard E. Stearns 一起获得 1993 年 ACM 图灵奖，“以表彰他们为计算复杂性理论领域奠定基础的开创性论文”。哈特马尼斯于 1928 年 7 月 5 日出生于拉脱维亚。 [ 2 ] 他是马尔蒂什·哈特马尼斯 [ lv ] 、[ 3 ] 拉脱维亚陆军将军和伊尔玛·玛丽亚·哈特曼 (Irma Marija Hartmane) 的儿子。他是诗人阿斯特丽德·伊瓦斯克的弟弟。 1940年苏联占领拉脱维亚后，马尔蒂什·哈特马尼斯被苏联逮捕并死于狱中。第二次世界大战后期，马尔蒂斯·哈特马尼斯的妻子和孩子于 1944 年作为难民离开拉脱维亚，因为担心苏联再次接管拉脱维亚后他们的安全。 [6] [7] 他们首先移居德国，Juris Hartmanis 在那里获得了马尔堡大学相当于物理学硕士学位的学位。随后，他移居美国，于 1951 年在堪萨斯城大学（现称为密苏里大学堪萨斯城分校）获得应用数学硕士学位，并于 1955 年在美国堪萨斯城大学获得应用数学博士学位。在 Robert P. Dilworth 的指导下获得加州理工学院数学博士学位。 [ 8 ] 密苏里大学堪萨斯城分校于 1999 年 5 月授予他人文文学荣誉博士学位。 [ 9 ] 在康奈尔大学和俄亥俄州立大学教授数学后，哈特马尼斯于 1958 年加入通用电气研究实验室。在通用电气期间，他发展了计算复杂性理论的许多原理。 [15] 1965年，他成为康奈尔大学教授。他是该校计算机科学系（世界上最早的计算机科学系之一）的创始人之一和第一任系主任。 [ 16 ] 领域：计算机科学 教育背景：马尔堡大学 学士 理学硕士 密苏里大学堪萨斯城分校 理学硕士 加州理工学院 博士奖获奖者：图灵奖（1993 年）