電腦重要人物

從科學上而不是商業上看：

 

圖靈和馮·諾伊曼

 

和下面的圖靈獎得主：

1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
因在新一代編程技術和編譯架構方面的貢獻而獲獎.  

1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因設計出第一台程式實現完全記憶體的電腦而獲獎. 

1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased) 
因在計數方法、自動編碼系統、檢測及糾正錯碼方面的貢獻被授予圖靈獎. 

1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因對人工智慧的貢獻被授予圖靈獎. 

1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London
因在利用數值分析方法來促進高速數字電腦的應用方面的研究而獲獎. 

1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因對人工智慧的貢獻被授予圖靈獎. 

1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在程式設計語言方面的出眾表現而獲獎. 

1973 Charles W. Bachman --- staff, Honeywell
因在資料庫方面的傑出貢獻而獲獎. 

1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因設計和完成TEX(一種創新的具有很高排版品質的文檔製作工具)而被授予該獎.

1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)  
and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智慧、人類識別心理和表處理的基礎研究而獲獎. 

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard 
and Dana S. Scott --- PhD, Princeton; Prof, CMU
因他們的論文"有限自動機與它們的決策問題"中所提出的非決定性機器這一很有價值的概念而獲獎. 

1977 John Backus --- BS, Columbia; staff, IBM
因對可用的進階編程系統設計有深遠和重大的影響而獲獎. 

1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在軟體編程的演算法方面的影響，並開創了包括剖析理論、程式設計語言的語義、Bot檢驗、Bot合成和演算法分析在內的多項電腦子學科而被授予該獎. 

1979 Kenneth E. Iverson
因對程式設計語言理論、互動式系統及APL的貢獻被授予該獎. 

1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因對程式設計語言的定義和設計所做的貢獻而獲獎. 

1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在數椐庫管理系統的理論和實踐方面的貢獻而獲獎. 

1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理論的基礎而獲獎. 

1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs 
and Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在類屬作業系統理論，特別是UNIX作業系統的推廣而獲獎.

1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因開發了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計算語言而獲獎. 

1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因對演算法理論的貢獻而獲獎. 

1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在演算法及資料結構的設計和分析中所取得的決定性成果而獲獎. 

1987 John Cocke --- staff, IBM
因在物件導向的程式設計語言和相關的編程技巧方面的貢獻而獲獎. 

1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在電腦圖形學方面的貢獻而獲獎.

1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在數值分析方面的貢獻而獲獎，他是是浮點計算領域的專家.

1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在開發大型多功能、可實現時間和資源共用的計算系統，如CTSS和Multics方面的貢獻而獲獎.

1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可計算的函數的邏輯(LCF)、ML和並行理論(CCS)這三個方面的貢獻而獲獎.

1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在個人分散式運算機系統（包括作業系統）方面的貢獻而獲獎.

1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell  
and Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了計算複雜性理論的基礎而獲獎.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU  
and Edward Feigenbaum (PhD, CMU; Prof, Stanford)
因對大型人工智慧系統的開拓性研究而獲獎.

1995 Manuel Blum --- PhD, MIT; Prof, Berkeley
因奠定了計算複雜性理論的基礎和在密碼術及程式校正方面的貢獻而獲獎.

1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU
因在計算中引入Temporal邏輯和對程式及系統檢驗的貢獻被獲獎.

1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI
因提出互動式計算概念並創造出實現這一概念的重要技術而獲獎.

1998 James Gray --- PhD, Berkeley; staff, Microsoft
因在資料庫和交易處理方面的突出貢獻而獲獎.

1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC
因對電腦體繫結構和作業系統以及軟體工程做出了裡程碑式的貢獻.

2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (姚期智，首位華人獲獎者)
因對計算理論做出了諸多根本性的重大貢獻.

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他們在設計程式設計語言SIMULA I 和SIMULA 67時產生的基礎性想法,這些想法是物件導向技術的肇始.

2002 Ronald L. Rivest --- PhD, Stanford; MIT; 
and Adi Shamir --- PhD, Weizmann;
and Leonard M. Adelman --- PhD, Berkeley; USC
因他們在公用密匙演算法上所做的傑出貢獻(RSA演算法是當前在互連網傳輸、銀行以及信用卡產業中被廣泛使用的安全基本機制).

2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)
因發明第一個完全物件導向的動態電腦程式設計語言Smalltalk.

2004 Vinton G. Cerf、Robert E. Kahn
因在互連網方面開創性的工作，這包括設計和實現了互連網的基礎通訊協議，TCP/IP，以及在網路方面卓越的領導。

2005 Peter Naur
因在設計Algol 60語言上的貢獻。由於其定義的清晰性，Algol 60成為了許多現代程式設計語言的原型。
2006 Frances Allen(首位女性獲獎者)
因對於最佳化編譯器技術的理論和實踐做出的先驅性貢獻，這些技術為現代最佳化編譯器和自動並存執行打下了基礎。

2007 Edmund Clarke

對目前在硬體和軟體領域被廣泛使用的模型檢查發展成為一個重要的，高效的驗證技術所做出的傑出貢獻。

2008 Barbara Liskov

在電腦程式語言，系統設計，特別是在資料抽象，容錯系統設計和分散式運算方面的理論和工程設計方面的傑出貢獻。