图灵奖得主、“计算复杂性”理论奠基人Juris Hartmanis逝世 享年94岁

访问：

阿里云服务器精选特惠：1核1G云服务器低至0.9元/月

首创康奈尔计算机科学系

Hartmanis的中学学业就是在德国哈瑙(Hanau)的难民营中完成的。1949年，他取得了马尔堡大学（University of Marburg）物理学硕士学位。

两年半后，也就是1950年，Hartmanis获得资助便移居到了美国，进入堪萨斯大学（University of Kansas）攻读硕士学位。

Hartmanis介绍自己的人生经历

但由于该校没有物理学的研究生课程，他只能改学数学。仅用了一年时间，他便在1951年取得了数学硕士学位。

紧接着，他被加州理工学院（Caltech）接收为博士研究生，从事格论 (latticetheory) 的研究。1955年在美国著名数学家Robert P. Dilworth指导下，取得了数学博士学位。

1955年-1957年，Hartmanis在康奈尔大学担任数学教师，随后加入俄亥俄州立大学数学系，担任了一年的助理教授。

之后，他便加入了通用电气公司设在纽约州斯克内克塔迪 (Schenectady) 的研究实验室。

因为那里新建立了一个“信息研究部”开展有关计算机和信息学的研究，这一新的领域激发起了Hartmanis极大的兴趣和热情。

在通用电气，Hartmanis工作了7年，并发展了许多计算复杂性理论原则。

直到1965年，Hartmanis重返康奈尔大学，担任教授。

他的这次回归，不是数学系，而是领导并成立了康奈尔大学计算机科学系