图灵奖得主,计算复杂性理论奠基人Juri

编辑: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开创性论文,并因此获得了年的图灵奖。

这篇论文开辟了计算机科学的一个新的研究领域,即「计算复杂性」(


转载请注明:http://www.aierlanlan.com/rzdk/1515.html