约翰·科克
1987年图灵奖得主
约翰·科克(1925年5月30日——2002年7月16日),出生于美国北卡罗来纳州夏洛特,1987年图灵奖得主,美国国家科学院院士美国国家工程院院士美国艺术与科学院院士,IBM院士,生前是IBM(国际商业机器公司)研究员。
人物生平
1925年5月30日,约翰·科克出生于美国北卡罗来纳州夏洛特。
1946年,获得杜克大学机械工程学士学位。
1953年,获得杜克大学数学博士学位。
1954年—1992年,在IBM(国际商业机器公司)T.J沃森研究实验室任职。
1972年,当选为IBM院士。
1975年,被任命为IBM公司801微型计算机项目负责人。
1979年,当选为美国国家工程院院士。
1986年,当选为美国艺术与科学院院士。
1987年,获得图灵奖。
1993年,当选为美国国家科学院院士。
2002年,当选为美国计算机历史博物馆fellow。
2002年7月16日,因长期患病和一系列中风后在美国纽约瓦尔哈拉去世,享年77岁。
主要成就
科研成就
约翰·科克在编译器的设计和理论、大型系统的体系结构和精简指令集计算机(RISC)的发展方面做出了贡献。发现并系统化了用于优化编译器的许多基本转换,包括降低运算符强度、消除公共子表达式、寄存器分配、常量传播和消除死代码。
据2023年9月AMiner平台数据,约翰·科克已发表学术论文22篇,论文被引5311次,H-Index:13。
[1]Peter F. Brown,John Cocke,Stephen A. Della Pietra,Vincent J. Della Pietra,Fredrick Jelinek,John D. Lafferty,Robert L. Mercer,Paul S. Roossin.A statistical approach to machine translation[J].Computational Linguistics,1990.
[2]Peter F Brown,John Cocke,S Della Pietra,Frederick Jelinek,Robert L Mercer,Paul S Roossin.A Statistical Approach to Language Translation[J].International Conference on Computational Linguistics COLING),1989.
[3]David B Callahan,John Cocke,Ken Kennedy.Estimating interlock and improving balance for pipelined architectures[J].Journal of Parallel and Distributed Computing,1988.
[4]Gregory J. Chaitin,Marc A. Auslander,Ashok K. Chandra,John Cocke,Martin E. Hopkins,Peter W. Markstein.Register allocation via coloring[J].Computer Languages, Systems and Structures,1981.
[5]John Cocke,Marvin Minsky.niversality of Tag Systems with P = 2[J].Journal of the ACM,1964.
据2023年9月美国计算机协会数据,约翰·科克拥有20多项专利。
荣誉表彰
社会任职
约翰·科克曾在佛罗里达州的帕特里克空军基地通用电气公司任职,他还曾担任Addison-Wesley(出版商)的IBM编程丛书的编辑。
个人生活
约翰·科克是家中三个兄弟中最小的一个,他们的父亲诺曼是杜克电力公司(后来的杜克能源公司)的总裁和杜克大学董事会成员。
约翰·科克喜欢抽烟。
约翰·科克在1989年与安妮·霍洛韦(Anne Holloway)结婚。
人物评价
(约翰·科克)对高性能计算机的架构和优化编译器的设计做出了根本性的贡献。约翰·科克以广博的才智、充沛的精力、敏锐的洞察力以及与众不同的工作方法而闻名。约翰·科克是计算机科学研究领域真正的“复兴者”,他对该领域的影响既源于他自己的技术贡献,也源于他对他人的影响(John Cocke made fundamental contributions to the architecture of high performance computers and to the design of optimizing compilers.John was renowned for the breadth of his intellect, for his energy, for his insights—and for his unconventional working methods.John Cocke was truly a “renaissance man” in computer science research, whose impact on the field stemmed from both his own technical contributions and his influence on others)。(美国计算机协会评)
他(约翰·科克)是计算机史上真正的巨人(John Cocke was a true giant of the history of computing)。(麻省理工学院评)
人物影响
由于约翰·科克的成就和影响力,杜克大学的一个教授席位就是以他的名字命名的。
最新修订时间:2023-09-09 11:58
目录
概述
人物生平
参考资料