计算的美丽–1993年图灵奖获得者Juris Hartmanis
作者 陈怀临 | 2008-03-29 22:01 | 类型 人物评述, 计算的美丽 | Comments Off
Juris Hartmanis(07/07/1928–) 图灵奖获得时间: 图灵奖引用(Turing Award Citation): 【笔者译:】 ( 授予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照片:
| |