1993年的图灵奖获得者-Juris Hartmanis

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/