编辑:Aeneas桃子
「计算复杂性」理论奠基人、年图灵奖得主JurisHartmanis去世,享年94岁。
又一巨星陨落。
7月29日,「计算复杂性」理论奠基人、年图灵奖得主JurisHartmanis去世,享年94岁。
首创康奈尔计算机科学系
年,JurisHartmanis出生在苏联拉脱维亚(Latvia)共和国,父亲是拉脱维亚军队将军MārtiHartmanis,于年被捕入狱去世。
二战结束时,Hartmanis带着妻子和3个孩子移民到了德国,沦为「流民」。
Hartmanis的中学学业就是在德国哈瑙(Hanau)的难民营中完成的。年,他取得了马尔堡大学(UniversityofMarburg)物理学硕士学位。
两年半后,也就是年,Hartmanis获得资助便移居到了美国,进入堪萨斯大学(UniversityofKansas)攻读硕士学位。
但由于该校没有物理学的研究生课程,他只能改学数学。仅用了一年时间,他便在年取得了数学硕士学位。
紧接着,他被加州理工学院(Caltech)接收为博士研究生,从事格论(latticetheory)的研究。年在美国著名数学家RobertP.Dilworth指导下,取得了数学博士学位。
年-年,Hartmanis在康奈尔大学担任数学教师,随后加入俄亥俄州立大学数学系,担任了一年的助理教授。
之后,他便加入了通用电气公司设在纽约州斯克内克塔迪(Schenectady)的研究实验室。
因为那里新建立了一个「信息研究部」开展有关计算机和信息学的研究,这一新的领域激发起了Hartmanis极大的兴趣和热情。
在通用电气,Hartmanis工作了7年,并发展了许多计算复杂性理论原则。
直到年,Hartmanis重返康奈尔大学,担任教授。
他的这次回归,不是数学系,而是领导并成立了康奈尔大学计算机科学系——世界最早的计算机科学系之一。
由于他的眼光和魄力,也由于他的民主作风,康乃尔大学的计算机科学系吸引了一批著名学者加盟,成为美国大学中水平最高、影响最大的计算机科学系之一。
这些学者中包括霍普克洛夫特(J.E.Hopcroft,年图灵奖得主)、格利斯(D.Giles,年ACM优秀计算机教育奖获得者)、霍洛维茨(E.Horowitz)、韦格纳(P.Wegner)和肖(A.Shaw)等。
Hartmanis曾三次担任计算机科学系主任(-71年、-83年和-93年),并于年成为沃尔特里德(WalterR.Reed)工程学教授。
从教多年,Hartmanis一共有21个杰出的博士研究生。
可以看到,年从康奈尔大学毕业的华裔数学家和计算机科学家Jin-YiCai(蔡进一)便是其中一位。
也正是在年这段时间里,Hartmanis和RichardStearns一起创立了计算复杂性理论,凭借这一成就摘取了年的图灵奖。
-年,他离开康奈尔大学,担任国家科学基金会助理主任,领导计算机和信息科学与工程理事会。
年,Hartmanis被选为美国国家工程院院士,因为他对计算复杂性理论、计算机研究和教育做出了重大贡献。
另外,他还是美国计算机协会和美国数学协会的会员,也是美国国家科学院院士。
年5月,密苏里大学授予了他人道主义文学荣誉博士的称号。
年,为了纪念JurisHartmanis60岁诞辰,由AlanSelman,因对结构复杂性理论的研究而闻名,撰写的一本纪念文集《复杂性理论回顾》(ComplexityTheoryRetrospective)一书出版。
其中包括若干对Hartmanis的生平和成就的介绍文章。
「计算复杂性」理论奠基人
年,JurisHartmanis和RichardStearns合作发表了题为《论算法的计算复杂性》OntheComputationalComplexityofAlgorithms开创性论文,并因此获得了年的图灵奖。
这篇论文开辟了计算机科学的一个新的研究领域,即「计算复杂性」(