ETH計算機PhD面試

『壹』 ETH生物博士怎麼樣

ETH生物博士由蘇黎世生命科學研究生院（Life Science Zurich Graate School）開設，是ETH和University of Zurich合開的研究生院，包含16個細分方向的博士項目和一個MD/PhD項目，ETH Zurich和University of Zurich生命科學世界排名均為世界前50.

『貳』 計算機界的諾貝爾獎頒給誰了

計算機科學界的諾貝爾獎是圖靈獎，就是說諾貝爾獎沒有設立「計算機」方面的獎項。
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 Postgraate 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
因其在軟體編程的演算法方面的影響，並開創了包括剖析理論、編程語言的語義、自
動程序檢驗、自動程序合成和演算法分析在內的多項計算機子學科而被授予該獎.

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 M. Clarke、 E Allen Emerson和Joseph Sifaki
表彰他們開發模型檢測技術，並使之成為一個廣泛應用在硬體和軟體工業
中非常有效的演算法驗證技術所做的奠基性貢獻。
1981年在美國工作的Edmund Clarke和Allen Emerson以及在法國的Sifakis分別提
出了模型檢測（Model Checking）的最初概念，並且他們開發了一套用於判斷硬體
和軟體設計的理論模型是否滿足規范的方法，此外，當系統檢測失敗時，還能利用
它確定代碼中問題存在的位置。

『叄』 海外留學碩士會不會得到瑞士著名理工院校PhD更高的

可以的。
申請人應符合以下條件之一：
（一）國內高校優秀在讀碩士生（包括應屆碩士畢業生）、在讀博士一年級學生、應屆本科畢業生。在讀碩士生、博士生應具備一定的科研能力和科研成果，應屆本科畢業生應達到校內免試直升研究生水平。申請時應已獲擬留學單位出具的攻讀博士學位或碩博連讀入學通知書（邀請信）、免學費或獲得學費資助證明。
（二）國內企業、事業單位、行政機關、科研機構的正式工作人員。應具有碩士學位，在相應工作崗位取得較突出成績、具有較強的科研能力。申請時應已獲擬留學單位出具的攻讀博士學位入學通知書（邀請信）、免學費或獲得學費資助證明。
（三）國外高校或科研機構正式注冊的自費留學應屆碩士畢業生、攻讀博士學位第一年的學生。申請時，應屆碩士畢業生已獲得攻讀博士學位入學通知書（邀請信）、免學費或獲得學費資助證明；攻讀博士學位第一年的學生須出具就讀院校注冊證明、免學費或獲得學費資助證明。

『肆』 我們加州理工學院世界排名第幾名

加州理工學院］
California Institute of Technology
學校地址:1200 E California Blvd Pasadena, CA 91125
所在州: 加利福尼亞州
在校學生:1968人
建校時間:1891年
學校網址: http://www.caltech.e/
USNews2008年美國大學綜合排名(本科) 第5
2009年美國大學化學專業研究生排名 第1
2009年美國大學地球科學專業研究生排名 第1
2009年美國大學地球化學專業研究生排名 第1

加州理工學院California Institute of Technology學校概況
加州理工學院California Institute of Technology創建於1891年，這所私立大學的宗旨是「為教育事業、政府及工業發展需要培養富有創造力的科學家和工程師」。
迄今為止，加州理工學院California Institute of Technology 已培養了1萬7千名學生，其中有22名獲得諾貝爾獎，還有大批獲得美國政府頒發的各種科學學術獎項。加州理工學院California Institute of Technology1997年全美私立大學排名第 9。它被譽為美國一流的科技理工類學院當之無愧。學校治學嚴謹，提倡學生一進校就參加各項科研活動。學生多力立志獻身科技事業的青年，他（她）們發奮讀書、刻苦鑽研。學校聘用的教授和講師都是一流的科學家，很多是諾貝爾獎得主及其他科技獎得主。
基礎設施：
學校有無數條件優越的實驗室和校外研究設備。聖地亞哥北部的巴勒摩觀察站，與加州大學合作設在夏威夷的凱克觀測站的巨型雙子望遠鏡，以及美國太空署的噴射推進實驗室，都是加州理工學院California Institute of Technology的研究設施。因此，這里是潛心埋首科學的科學家的最佳工作地點。

學校設有生物學、化學及化學工程、工程與應用科學、地質學及行星學、人類學及社會科學、物理數學和天文學等六大學系。有布斯計算中心、HALE天文台、地震實驗室、太陽系觀測站、射電天文台、噴氣推進實驗室、環境質量實驗室、夏威夷亞毫米觀測站、斯坦福線性加速器中心等設施先進的科研機構。
主要學科有：天文學、天文物理、地質學、地質物理、原子物理、物理、生物化學、生物科學、大氣工程、應用數學、土木工程、電腦工程、電腦 科學、經濟、電機工程、工程及應用科學、工程物理、細胞生物、化學工程、化學、環境工程、地質化學、歷史、文學、物質科學、數學、機械工程、分子生物、精神科學、太空科學、社會科學等。
理工類專業設置有：數學（PhD）、應用數學（PhD）、物理（PhD）、應用物理學（PhD）、天文學（PhD）、計算機科學（MS、PhD）、宇宙化學（MS、PhD）、地球生物學（PhD）、地球化學（MS、PhD）、地球物理學（MS、PhD）、地質學（MS、PhD）、行星科學（MS、PhD）、航天學（MS、PhD）、應用力學（MS、PhD）、土木工程（MS、PhD）、化學（PhD）、化學工程（MS、PhD）、生物學（MS、PhD）、細胞生物學和生物物理學（PhD）等。
研究生專業有：應用數學、物理、應用物理、天文學、計算機科學、宇宙化學、地球物理學、地球化學、地球生物學、地質學、數學、行星科學、航天學、應用力學、土木工程、化學、化學工程、生物學、細胞生物學、生物物理學等。
重點學科：
加州理工最著名的學科，首推物理，其次是工程、化學、生物、天文學和地質學。這里的每一位大學生，不論主修什麼，都要修讀5個學期的數學和物理、2個學期化學和1個學期的生物。除了科學之外，還要完成12門人文社會科學課程。經濟與政治學也是加州理工的強項。

『伍』 java面試提問:什麼是OOP

OOP全稱Object Oriented Programming，是指面向對象程序設計，是一種計算機編程架構。OOP 的一條基本原則是計算機程序是由單個能夠起到子程序作用的單元或對象組合而成。

面向對象編程技術的關鍵性觀念是它將數據及對數據的操作行為放在一起，作為一個相互依存、不可分割的整體——對象。對於相同類型的對象進行分類、抽象後，得出共同的特徵而形成了類。面向對象編程就是定義這些類。

(5)ETH計算機PhD面試擴展閱讀：

OOP的優缺點：

1、OOP 的優點：使人們的編程與實際的世界更加接近，所有的對象被賦予屬性和方法，結果編程就更加富有人性化。

2、OOP 的也有缺點，就 C++ 而言，由於面向更高的邏輯抽象層，使得 C++ 在實現的時候，不得不做出性能上面的犧牲，有時候甚至是致命的 。

『陸』 Linux系統工程師面試題附答案

一、簡答題

1.如何將本地80埠的請求轉發到8080埠,當前主機IP為192.168.16.1,其中本地網卡eth0:

答：# iptables -t nat -A PREROUTING -d 192.168.16.1 -p tcp --dport 80 -j DNAT --to 192.168.16.1:8080

或 者：# iptables -t nat -A PREROUTING -i eth0 -d 192.168.16.1 -p tcp -m tcp --dport 80 -j REDIRECT --to-ports 8080

2.什麼是NAT,常見分為那幾種，DNAT與SNAT有什麼不同，應用事例有那些?

SNAT，DNAT，MASQUERADE都是NAT。

MASQUERADE是SNAT的一個特例。

SNAT是指在數據包從網卡發送出去的時候，把數據包中的源地址部分替換為指定的IP，這樣，接收方就認為數據包的來源是被替換的那個IP的主機。

MASQUERADE是用發送數據的網卡上的IP來替換源IP，因此，對於那些IP不固定的場合，比如撥號網路或者通過dhcp分配IP的情況下，就得用MASQUERADE。

DNAT，就是指數據包從網卡發送出去的時候，修改數據包中的目的IP，表現為如果你想訪問A，可是因為網關做了DNAT，把所有訪問A的數據包的目的IP全部修改為B，那麼，你實際上訪問的是B

因為，路由是按照目的地址來選擇的，因此，DNAT是在PREROUTING鏈上來進行的，而SNAT是在數據包發送出去的時候才進行，因此是在POSTROUTING鏈上進行的。

3.包過濾防火牆與代理應用防火牆有什麼區別，能列舉幾種相應的產品嗎?

4.iptables是否支持time時間控制用戶行為，如有請寫出具體操作步驟。

5.說出你知道的幾種linux/unix發行版本。

Redhat、CentOS、Fedora、SuSE、Slackware、Gentoo、Debian、Ubuntu、FreeBSD、Solaris、SCO、AIX、HP…

6.列出linux常見打包工具並寫相應解壓縮參數(至少三種)

7.計劃每星期天早8點伺服器定時重啟，如何實現?

8.列出作為完整郵件系統的軟體,至少二類。

9，當用戶在瀏覽器當中輸入一個網站，說說計算機對dns解釋經過那些流程?註：本機跟本地dns還沒有緩存。

答：

a.用戶輸入網址到瀏覽器;

b.瀏覽器發出DNS請求信息;

c.計算機首先查詢本機HOST文件，看是否存在，存在直接返回結果，不存在，繼續下一步;

d.計算機按照本地DNS的順序，向合法dns伺服器查詢IP結果;

e.合法dns返回dns結果給本地dns，本地dns並緩存本結果，直到TTL過期，才再次查詢此結果;

f.返回IP結果給瀏覽器;

g.瀏覽器根據IP信息，獲取頁面;

10，我們都知道，dns既採用了tcp協議，又採用了udp協議，什麼時候採用tcp協議?什麼時候採用udp協議?為什麼要這么設計?

答：這個題需要理解的東西比較的多，分一下幾個方面

a，從數據包大小上分：UDP的最大包長度是65507個位元組，響應dns查詢的時候數據包長度超過512個位元組，而返回的只要前512個位元組，這時名字 解釋器通常使用TCP從發原來的請求。

b，從協議本身來分：大部分的情況下使用UDP協議，大家都知道UDP協議是一種不可靠的協議，dns不像其它的使用UDP的Internet應用 (如：TFTP，BOOTP和SNMP等)，大部分集中在區域網，dns查詢和響應需要經過廣域網，分組丟失和往返時間的不確定性在廣域網比區域網上更 大，這就要求dns客戶端需要好的重傳和超時演算法，這時候使用TCP。

11，一個EXT3的文件分區，當使用touch test.file命令創建一個新文件時報錯，報錯的信息是提示磁碟已滿，但是採用df -h命令查看磁碟大小時，只使用了，60%的磁碟空間，為什麼會出現這個情況，說說你的理由。

答：兩種情況，一種是磁碟配額問題，另外一種就是EXT3文件系統的設計不適合很多小文件跟大文件的一種文件格式，出現很多小文件時，容易導致inode 耗盡了。

12，我們都知道FTP協議有兩種工作模式，說說它們的大概的一個工作流程?

FTP兩種工作模式：主動模式(Active FTP)和被動模式(Passive FTP)

在主動模式下，FTP客戶端隨機開啟一個大於1024的埠N向伺服器的21號埠發起連接，然後開放N+1號埠進行監聽，並向伺服器發出PORT N+1命令。

伺服器接收到命令後，會用其本地的FTP數據埠(通常是20)來連接客戶端指定的埠N+1，進行數據傳輸。

在被動模式下，FTP客戶端隨機開啟一個大於1024的埠N向伺服器的21號埠發起連接，同時會開啟N+1號埠。然後向伺服器發送PASV命令，通 知伺服器自己處於被動模式。伺服器收到命令後，會開放一個大於1024的埠P進行監聽，然後用PORT P命令通知客戶端，自己的數據埠是P。客戶端收到命令後，會通過N+1號埠連接伺服器的埠P，然後在兩個埠之間進行數據傳輸。

總的來說，主動模式的FTP是指伺服器主動連接客戶端的數據埠，被動模式的.FTP是指伺服器被動地等待客戶端連接自己的數據埠。

被動模式的FTP通常用在處於防火牆之後的FTP客戶訪問外界FTp伺服器的情況，因為在這種情況下，防火牆通常配置為不允許外界訪問防火牆之後主機，而只允許由防火牆之後的主機發起的連接請求通過。

因此，在這種情況下不能使用主動模式的FTP傳輸，而被動模式的FTP可以良好的工作。

13.編寫個shell腳本將當前目錄下大於10K的文件轉移到/tmp目錄下

Q：主要是考察awk 這些的用法

#/bin/sh

#Programm :

# Using for move currently directory to /tmp

for FileName in `ls -l |awk ‘$5>10240 {print $9}’`

do

mv $FileName /tmp

done

ls -la /tmp

echo “Done! ”

14.apache有幾種工作模式，分別介紹下其特點，並說明什麼情況下採用不同的工作模式?

apache主要有兩種工作模式：prefork(apache的默認安裝模式)和worker(可以在編譯的時候加參數–with-mpm- worker選擇工作模式)

『柒』 計算機界諾貝爾獎頒給誰了

計算機科學界的諾貝爾獎是圖靈獎，就是說諾貝爾獎沒有設立「計算機」方面的獎項。

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 Postgraate 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

因其在軟體編程的演算法方面的影響，並開創了包括剖析理論、編程語言的語義、自

動程序檢驗、自動程序合成和演算法分析在內的多項計算機子學科而被授予該獎.

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 M. Clarke、 E Allen Emerson和Joseph Sifaki

表彰他們開發模型檢測技術，並使之成為一個廣泛應用在硬體和軟體工業

中非常有效的演算法驗證技術所做的奠基性貢獻。

1981年在美國工作的Edmund Clarke和Allen Emerson以及在法國的Sifakis分別提

出了模型檢測（Model Checking）的最初概念，並且他們開發了一套用於判斷硬體

和軟體設計的理論模型是否滿足規范的方法，此外，當系統檢測失敗時，還能利用

它確定代碼中問題存在的位置。