-
約翰·科克
（1987年圖靈獎得主）
鎖定
約翰·科克（1925年5月30日——2002年7月16日），出生於美國北卡羅來納州夏洛特，1987年圖靈獎得主，美國國家科學院院士，美國國家工程院院士，美國藝術與科學院院士，IBM院士，生前是IBM（國際商業機器公司）研究員。
[1]
[4]
約翰·科克於1946年獲得杜克大學機械工程學士學位；1953年獲得杜克大學數學博士學位；1954年至1992年在IBM（國際商業機器公司）T.J沃森研究實驗室任職；1972年當選為IBM院士；1975年被任命為IBM公司801微型計算機項目負責人；1979年當選為美國國家工程院院士；1986年當選為美國藝術與科學院院士；1987年獲得圖靈獎；1993年當選為美國國家科學院院士；2002年當選為美國計算機歷史博物館fellow；2002年7月16日因長期患病和一系列中風後在美國紐約瓦爾哈拉去世，享年77歲。
[1]
約翰·科克致力於計算機體系結構的研究。
[3]
- 中文名
- 約翰·科克
- 外文名
- John Cocke
- 國 籍
- 美國
- 出生地
- 美國北卡羅來納州夏洛特
- 出生日期
- 1925年5月30日
- 逝世日期
- 2002年7月16日
- 畢業院校
- 杜克大學
- 職 業
- 科研工作者
- 主要成就
-
1979年當選為美國國家工程院院士
1986年當選為美國藝術與科學院院士
1987年獲得圖靈獎
1993年當選為美國國家科學院院士 - 學位/學歷
- 博士
約翰·科克人物生平
1925年5月30日，約翰·科克出生於美國北卡羅來納州夏洛特。
1946年，獲得杜克大學機械工程學士學位。
1953年，獲得杜克大學數學博士學位。
1954年—1992年，在IBM（國際商業機器公司）T.J沃森研究實驗室任職。
1975年，被任命為IBM公司801微型計算機項目負責人。
1979年，當選為美國國家工程院院士。
1986年，當選為美國藝術與科學院院士。
1987年，獲得圖靈獎。
2002年，當選為美國計算機歷史博物館fellow。
約翰·科克
約翰·科克主要成就
約翰·科克科研成就
- 科研綜述
約翰·科克在編譯器的設計和理論、大型系統的體系結構和精簡指令集計算機（RISC）的發展方面做出了貢獻。發現並系統化了用於優化編譯器的許多基本轉換，包括降低運算符強度、消除公共子表達式、寄存器分配、常量傳播和消除死代碼。
[1]
- 學術論文
[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.
[2]
[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.
[2]
論文截圖
論文截圖
- 科研專利
約翰·科克榮譽表彰
獲獎時間 | 榮譽表彰 |
|---|---|
1972年 | IBM院士 |
1979年 | 美國國家工程院院士 |
1985年 | Eckert-Mauchly獎（由ACM和IEEE計算機協會聯合頒發） |
1986年 | 美國藝術與科學院院士 |
1987年 | 圖靈獎 |
1988年 | 杜克大學榮譽博士 |
1989年 | IEEE計算機協會先鋒獎 |
1990年 | IBM John E.Bertram持續卓越獎 |
1991年 | 美國國家技術獎 |
1993年 | 美國國家科學院院士 |
1994年 | NEC（日本電氣股份有限公司）基金會計算機與通信獎 |
1994年 | 美國國家科學獎章 |
1996年 | 富蘭克林研究所傑出研究獎 |
1999年 | 西摩·克雷計算機科學與工程獎 |
2000年 | 本傑明·富蘭克林獎章 |
約翰·科克社會任職
約翰·科克個人生活
- 家庭背景
- 生活習慣
- 婚姻家庭
約翰·科克人物評價
（約翰·科克）對高性能計算機的架構和優化編譯器的設計做出了根本性的貢獻。約翰·科克以廣博的才智、充沛的精力、敏鋭的洞察力以及與眾不同的工作方法而聞名。約翰·科克是計算機科學研究領域真正的“復興者”，他對該領域的影響既源於他自己的技術貢獻，也源於他對他人的影響（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）。（美國計算機協會評）
[1]
他（約翰·科克）是計算機史上真正的巨人（John Cocke was a true giant of the history of computing）。（麻省理工學院評）
[5]
約翰·科克人物影響
- 約翰·科克教席
- 參考資料
-
- 1. JOHN COCKE ．ACM[引用日期2023-09-06]
- 2. John Cocke(約翰·科克) ．AMiner[引用日期2023-09-06]
- 3. Research Subjects ．ACM[引用日期2023-09-06]
- 4. CICC科普欄目｜一文了解72名圖靈獎獲得者的成就 ．中國指揮與控制學會[引用日期2023-09-06]
- 5. John Cocke | Lemelson ．MIT[引用日期2023-09-06]
- 6. John Cocke ．IEEE Computer Society[引用日期2023-09-06]
- 7. Computer Pioneers - John Cocke ．IEEE計算機協會[引用日期2023-09-06]
