Juris Hartmanis (07/07/1928--)
图 灵 奖 获 得 时 间 :
1993年 。 第二十八位图 灵 奖 (1993年 ) 获 得 者 。
图 灵 奖 引 用 (Turing Award Citation) :
Citation:
In recognition of their seminal paper which established the foundations for the field of computational complexity theory.
中 文 翻 译 :
( 授 予Juris Hartmanis图 灵 奖 以表 彰其) 在计算复杂性理论领域发表的具有开创意义的研究文章。
编 者 注 :
Hartmanis 与 Stearns合作的著名文章为:
Hartmanis, J., and Stearns, R. E. On the computational complexity of algorithms. Trans. Amer. Math. Soc. 117 (1965), 285--306.
关于计算复杂性理论,可参见:
www.xtrj.org/ssm4/complexity_theory.htm
Computational Complexity of Games and Puzzles
IEEE Conference on Computational Complexity
Lecture Notes on Computational Complexity
Juris Hartmanis, Richard Stearns, and Computational Complexity.
Turing Award Lecture(图灵奖演讲文章):
On Computational Complexity and the Nature of Computer Science. Commun. ACM 37(10): 37-43(1994)
Juris Hartmanis简 介 :
Hartmanis生于1928年7月7日于前苏联拉脱维亚( Latvia )共和国。
二战后,Hartmanis移民到德国,并在University of Marburg获得其物理学士学位。然后Hartmanis移民美国,并从University of Kansas City (目前的University of Missouri-Kansas City )获得其应用数学的硕士学位。然后,1955年, Hartmanis从加州理工获得其数学博士学位。
在通用电器(General Electric)研究实验室工作一段时间之后,1965年,Hartmanis称为康乃尔大学(Cornell)的教授,并工作到2001年5月退休。在Cornell其间,Hartmanis参与了组建其计算机科学系,从出任其第一任系主任。
Hartmanis在Cornell大学计算机系的网页:
http://www.cs.cornell.edu/annual_report/00-01/bios.htm#hartmanis
Hartmanis Wiki:
http://en.wikipedia.org/wiki/Juris_Hartmanis
Hartmanis于2001年5月2日从Cornell计算机系退休时,Cornell计算机系发出的通告:
http://www.cs.cornell.edu/gries/banquets/JHretireparty/gries.html
Hartmanis的学生谱系可参见:
http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=10404
Juris Hartmanis照片:
http://images.google.com/images?q=Juris+Hartmanis&hl=en&lr=&sa=N&tab=wi&sourceid=tipimg
转自http://www.xtrj.org/