计算的美丽–1993年图灵奖获得者Juris Hartmanis

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享




Juris Hartmanis(07/07/1928–)

图灵奖获得时间:
1993年 。 第二十八位图灵奖(1993年)获得者。

图灵奖引用(Turing Award Citation):
In recognition of their seminal paper which established the foundations for the field of computational complexity theory.

【笔者译:】

( 授予Juris Hartmanis图灵奖以表彰其)在计算复杂性理论领域发表的具有开创意义的研究文章。

 

笔者注:

Stearns与Hartmanis合作的关于计算复杂性方面的经典论文: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

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照片:


 

(没有打分)

雁过留声

Comments are closed.