網申ETH的pHD職位

❶ 計算機界的諾貝爾獎頒給誰了

計算機科學界的諾貝爾獎是圖靈獎，就是說諾貝爾獎沒有設立「計算機」方面的獎項。
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）的最初概念，並且他們開發了一套用於判斷硬體
和軟體設計的理論模型是否滿足規范的方法，此外，當系統檢測失敗時，還能利用
它確定代碼中問題存在的位置。

❷ ETH生物博士怎麼樣

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

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

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