姚期智，美國科學(xué)院院士。1967年獲得臺灣大學(xué)物理學(xué)士學(xué)位，1975年獲得美國伊利諾依大學(xué)計算機科學(xué)博士學(xué)位；1998年被選為美國科學(xué)院院士；2004年當(dāng)選為中國科學(xué)院外籍院士。

1946年12月生于上海。

1967年獲得臺灣大學(xué)物理學(xué)士學(xué)位；

1972年獲得美國哈佛大學(xué)物理博士學(xué)位；

1975年獲得美國伊利諾依大學(xué)計算機科學(xué)博士學(xué)位；

1975年至1986年先后在美國麻省理工學(xué)院數(shù)學(xué)系、斯坦福大學(xué)計算機系、加利福尼亞大學(xué)伯克利分校計算機系，普林斯頓大學(xué)等著名學(xué)府擔(dān)任教授；

1986年至2004年在普林斯頓大學(xué)計算機科學(xué)系擔(dān)任Wiliam and Edna Macaleer工程與應(yīng)用科學(xué)教授。

1998年被選為美國科學(xué)院院士；

2000年被選為美國科學(xué)與藝術(shù)學(xué)院院士；

2004年當(dāng)選為中國科學(xué)院外籍院士。

2004年，姚期智決定將57歲以后的人生回歸中國大陸，開創(chuàng)科學(xué)研究的新舞臺。他毅然辭去了普林斯頓大學(xué)終身教職，賣掉了在美國的房子，正式加盟清華大學(xué)高等研究中心任全職教授。

2005年3月16日，獲得北京永久居留權(quán)的“綠卡”。

2005年，由姚期智主導(dǎo)并與微軟亞洲研究院共同合作的“軟件科學(xué)實驗班”（后更名為“計算機科學(xué)實驗班”，也被稱為“姚班”）在清華成立，并先后招收大一、大二兩班學(xué)生。次年3月，姚期智在致清華全校同學(xué)的一封信中擲地有聲地寫到：“我們的目標(biāo)并不是培養(yǎng)優(yōu)秀的計算機軟件程序員，我們要培養(yǎng)的是具有國際水平的一流計算機人才。”[6] 

在清華大學(xué)先后創(chuàng)辦計算機科學(xué)實驗班（姚班）、理論計算機科學(xué)研究中心（ITCS）、交叉信息研究院（IIIS）和量子信息中心（CQI）。他從清華開始，逐步建立中國的計算機理論科學(xué)的研究隊伍，試圖在國際上造成影響。

2007年3月29日，教育部部長周濟、科技部部長徐冠華共同到清華看望姚期智。周濟強調(diào)，姚期智全職歸來并帶動一批人才回國發(fā)展，堪稱一面“旗幟”。徐冠華也談到，像姚期智這樣的旗幟性人物回國必然會產(chǎn)生“放大效應(yīng)”。

2017年2月，棄外國國籍成為中國公民，加入中國科學(xué)院信息技術(shù)科學(xué)部。

姚期智的夫人儲楓教授早在2003年從美國去香港城市大學(xué)擔(dān)任計算機科學(xué)系系主任。

重新翻閱人生之路這部大書，細細品味所走過的路，在翻越了許許多多的曲曲折折之后，展現(xiàn)在姚期智眼前的是生命的滄海。然而，那幾乎覆蓋了計算復(fù)雜性的所有方面的近百篇學(xué)術(shù)論文；那些在數(shù)據(jù)組織、基于復(fù)雜性的偽隨機數(shù)生成理論密碼學(xué)、通信復(fù)雜性乃至量子通信和計算等多個尖端科研領(lǐng)域做出的巨大而獨到的貢獻；那由于他在計算理論研究方面做出的諸多“根本性的、意義重大的”貢獻而獲得的圖靈獎，以及美國國家科學(xué)院院士、美國人文及科學(xué)院院士、中國科學(xué)院外籍院士等戴在頭上的光環(huán)，都不是姚期智理念上的成功。在他看來，成功意味著做出超乎自己能力的事情。

姚期智認為，年輕學(xué)子們不要只把目光局限在自己的學(xué)科，應(yīng)該不斷學(xué)習(xí)其他事情�！坝腥绱吮姸嗖煌�的領(lǐng)域的美麗，如果限制欣賞的范圍，那是一種遺憾�！彼�的導(dǎo)師、諾貝爾物理學(xué)獎得主格拉肖曾經(jīng)告訴姚期智“要大膽、創(chuàng)新”。正是在這種做學(xué)問的基本精神的驅(qū)使下，使姚期智不斷向新的學(xué)術(shù)領(lǐng)域發(fā)起沖擊。

“成功有很多不同的模式，如果在每一個模式里你都有自己的想法，做得特別好，那么都能夠成功。一般來講，學(xué)校專業(yè)比較完整，如哈佛大學(xué)，有各種專業(yè)學(xué)院，那么它就能夠辦成世界一流大學(xué)。但這也有例外，普林斯頓大學(xué)傳統(tǒng)的理念是，他們不需要做所有的事情，他們只需要把想做的事情都做好，做得最好。這是他們的成功之道。”

普林斯頓大學(xué)的成功理念仍然影響著在那里工作生活了多年的姚期智。他仍然堅守著“還是希望有我自己控制的時間和控制的環(huán)境。生命有許多階段，工作有許多性質(zhì)，在有些階段，幾乎要百分之百地做一件事情�！�

2004年9月5日，溫家寶總理專程在教師節(jié)前來看望姚期智教授。在交談中，溫總理說，國家對人才的需求如饑似渴，高層次的人才是國家最稀缺、最寶貴的資源；我們在抓好基礎(chǔ)教育的同時，也要下大力氣抓好高等教育，為國家廣泛培養(yǎng)高層次優(yōu)秀人才；在重點科研機構(gòu)和重要科研領(lǐng)域，要實行杰出人才的全球招聘制度；要為杰出人才的脫穎而出和充分發(fā)揮作用創(chuàng)造良好的條件。

作為在國際一流大學(xué)長期任教的教授以及在計算機理論領(lǐng)域享有世界聲譽的學(xué)者，姚期智教授出任清華大學(xué)信息科學(xué)與技術(shù)國家實驗室（籌）學(xué)術(shù)委員會主任和首席科學(xué)家，立即承擔(dān)起建設(shè)世界一流的清華大學(xué)信息科學(xué)的重任，組織籌建國家實驗室。2004年10月22日，教育部部長周濟、副部長吳啟迪等領(lǐng)導(dǎo)來到清華大學(xué)考察信息科學(xué)與技術(shù)國家實驗室的籌建工作，專門與姚期智教授會面并聽取了他的匯報和建議。

姚先生回國定居后，主動和國內(nèi)同行聯(lián)系，并親自走訪國內(nèi)高校開展學(xué)術(shù)交流。同時，姚先生積極吸引世界最優(yōu)秀的科學(xué)家來做訪問，他說，“讓年輕學(xué)者和學(xué)生接觸到這些專家，了解他們是怎么做出一流水平的研究�！�

2004年9月以來，姚先生定期聯(lián)系、邀請國內(nèi)外知名大學(xué)教授來清華為學(xué)生做學(xué)術(shù)報告。不僅為學(xué)生提供了與國際一流學(xué)者交流的寶貴機會，還大大提升了學(xué)術(shù)講座的水平、豐富了學(xué)院的學(xué)術(shù)氣氛，已經(jīng)組織過10場高水平的講座。開篇所說的兩位計算機科學(xué)領(lǐng)域的大師正是姚先生2005年邀請來華的。講座舉辦當(dāng)天，許多慕名而來的學(xué)生把整個講堂擠得水泄不通，兩位大師深入淺出的精彩講演讓清華學(xué)子們真正領(lǐng)略到了名家風(fēng)采。

為了使學(xué)生們能夠與這些世界級大師有更頻繁更深入的交流，姚先生計劃于下半年繼續(xù)邀請更多在計算機科學(xué)領(lǐng)域有突出貢獻的知名學(xué)者到清華訪問，并以“名家系列講座”的形式固定下來，作為講席教授組教學(xué)的一種重要輔助手段，長期地辦下去。

2005年3月16日，在北京市政府舉行的頒發(fā)儀式上，姚期智先生從北京市公安局局長馬振川手中接過了標(biāo)志著北京永久居留權(quán)的“綠卡”。

2002年5月，在上海、南京和北京，姚期智第一次與國內(nèi)計算機領(lǐng)域的學(xué)者進行了廣泛接觸和交流。那時，孫曉明和張勝譽都是清華計算機系的研究生。為了讓學(xué)生一場不落地聽完報告，姚期智在復(fù)旦演講時，張勝譽的導(dǎo)師應(yīng)明生教授組里所有人都送到了上海。

所以接下來的“巧合”也許就有了某種必然性：張勝譽作為姚期智在普林斯頓的“關(guān)門弟子”赴美留學(xué)；孫曉明則成為姚期智在清華指導(dǎo)的第一位博士生。

正是在這次訪問中，清華學(xué)生的聰敏好學(xué)給姚期智留下了深刻印象；次年，他欣然接受領(lǐng)銜組建計算機系講席教授組的邀請；又過了一年，也就是2004年9月，姚期智辭去普林斯頓的終身教職，正式加盟清華高等研究中心，成為清華全職教授。他說：“對于建設(shè)世界一流大學(xué)，清華大學(xué)乃至中國政府都寄予了很大的期望。能在這份事業(yè)中貢獻我的一份力量，可以算是一件大事�！�

姚期智的夫人儲楓教授非常支持他的這一決定。早在2003年，儲楓從美國去香港城市大學(xué)擔(dān)任計算機科學(xué)系系主任，也正是受到了先生的鼓勵。儲楓表示，姚期智是個很有決斷力的人，不喜歡拖泥帶水。他認為做這件事情能夠為中國的高等教育、為中國的科學(xué)研究出力，所以很值得。最重要的是，清華有許多很好、很有潛力的學(xué)生，對他們的培養(yǎng)刻不容緩。

姚期智的全職回國，填補了國內(nèi)計算機學(xué)科的空白：這不只是因為他無可爭議的學(xué)術(shù)地位，更因為在他所從事的算法和復(fù)雜性領(lǐng)域，當(dāng)時幾乎還看不到中國國內(nèi)學(xué)者的身影。而這一領(lǐng)域既是美國理論計算機科學(xué)的主流方向，又是計算機界最高獎項——“圖靈獎”獲獎人數(shù)最多的一個方向。

由此，清華的計算機學(xué)科第一次集齊了理論、應(yīng)用、系統(tǒng)結(jié)構(gòu)和軟件四大領(lǐng)域的優(yōu)秀學(xué)者，這在國際上也是不多見的。

姚期智帶來了一個從6人增至10人的講席教授組，他們都是國際上算法和復(fù)雜性領(lǐng)域最出色的華人學(xué)者。

隨著姚期智的歸來，清華計算機學(xué)科國際交流的頻率和層次都達到了一個新的高度。以姚期智創(chuàng)建的理論計算機科學(xué)研究中心（ITCS）為例，2007年國外學(xué)者的訪問日程已經(jīng)安排到了12月31日。美國兩院院士、1985年“圖靈獎”得主RichardKarp,2002年“圖靈獎”得主、著名密碼學(xué)家AdiShamir……都曾出現(xiàn)在ITCS的訪問學(xué)者名單上。

2006年，清華計算機系有3篇論文入選理論計算機科學(xué)領(lǐng)域與STOC并列的最頂級學(xué)術(shù)會議FOCS，不僅實現(xiàn)了國內(nèi)學(xué)者在該會議上“零的突破”，而且入選篇數(shù)超過了美國計算機科學(xué)領(lǐng)域的“超一流”大學(xué)UCBerke-ley。更令人振奮的是，當(dāng)年24歲的博士生陳汐與來自香港城市大學(xué)的講席教授鄧小鐵合作，出色地解決了理論計算機科學(xué)的著名難題——二人博弈中納什均衡點的復(fù)雜性問題，并因此獲得2006年度FOCS最佳論文獎。

這一年，姚期智的團隊還為國內(nèi)計算機學(xué)者填補了在《美國科學(xué)院院刊》上發(fā)文的空白。

2007年4月16日—19日，理論計算機科學(xué)研究中心成功主辦了第十屆國際公鑰密碼學(xué)會議，來自世界15個國家的學(xué)者參會，姚期智擔(dān)任大會主席。這是國際密碼學(xué)研究領(lǐng)域和理論計算機研究方向的一次世界級盛會，首次在中國召開，又恰逢該會議的十周年慶典，可謂意義深遠。

姚期智的事業(yè)之路不能說是一條直線。1967年，當(dāng)他填寫大學(xué)所學(xué)專業(yè)時，選擇物理學(xué)并不是出于真正的對物理學(xué)的了解。但是，在以后學(xué)習(xí)物理的過程中，接觸到了相對論和量子學(xué)，了解了其中的意義的時候，那種感覺仍然令姚期智記憶猶新：“那是我一生中最快樂的時候。對我們研究科學(xué)的人來說，那就是最令人喜悅的事情。”

這個意外收獲，姚期智帶入到了一個新的境界。物理上的經(jīng)驗使他知道有另外一個世界，而對文學(xué)的喜愛使他學(xué)會如何更好地與人溝通，同時幫助他了解了學(xué)文學(xué)的人以及學(xué)別的科學(xué)的人。“因為我知道學(xué)文學(xué)的人讀莎士比亞，學(xué)音樂的人聽到音樂，他們所感受到的程度，他們心里的感覺。這種感覺對我的工作也有很大的影響，它成為我做學(xué)問的一個標(biāo)準。如果你有一個你所達不到的標(biāo)準，你對你的工作就永遠不會滿意�！�

視野的開闊，歲月的不斷積淀，使姚期智對人生有了更多的感悟，對社會有了更多的責(zé)任感�！拔椰F(xiàn)在覺得可憂的是以前大家都看書，現(xiàn)在許多人都不看書了，而是看電視和玩游戲。那種自然的、合作與交流的感覺在現(xiàn)代化的過程中喪失得太快。”

他認為，要對社會、對歷史有一定了解，那才不會隨波逐流。

"Divergences of Massive Yang-Mills Theories: Higher Groups",(with S. L. Glashow and J. Illiopoulos),Physical Review,D4 （1971），1918-1919.

2 "Standing Pion Waves in Superdense Matter",(with R. F. Sawyer),Physical Review,D7 （1973），1579-1586.

3 "An O (|E| log log |V|) Algorithm for Finding Minimum Spanning Trees",Information Processing Letters,4 （1975），21-23.

4 "Analysis of the Subtractive Algorithms for Greatest Common Divisors",(with D. E. Knuth),Proceedings of the National Academy of Sciences USA,72 （1975），4720-4722.

5 "On Computing the Minima of Quadratic Forms",Proceedings of Seventh ACM Symposium on Theory of Computing,Albuquerque,New Mexico,May 1975,23-26.

6 "The Complexity of Non-uniform Random Number Generation",(with D. E. Knuth),in Algorithms and Complexity: New Directions and Recent Results,edited by J. F. Traub,Academic Press,1976,pp.357-428.

7 "On the Evaluation of Powers",SIAM J. on Computing,5 （1976），100-103.

8 "Resource Constrained Scheduling as Generalized Bin Packing",(with M. R. Garey,R. L. Graham and D. S. Johnson),J. of Combinatorial Theory,A21 （1976），257-298.

9 "Bounds on Merging Networks",(with F. F. Yao),Journal of ACM,23 （1976），566-571.

10 "Tiling with Incomparable Rectangles",(with E. M. Reingold and W. Sanders),Journal of Recreational Mathematics,8 （1976），112-119.

11 "A Combinatorial Optimization Problem Related to Data Set Allocation",(with C. K. Wong),Revue Francaise D’Automatique,Informatique,Recherche Operationnelle,Suppl. No. 5 （1976），83-96.

12 "On a Problem of Katona on Minimal Separation Systems",Discrete Mathematics,15 （1976），193-199.

13 "An Almost Optimal Algorithm for Unbounded Searching",(with J. Bentley),Information Processing Letters,5 （1976），82-87.

14 "On the Average Behavior of Set Merging Algorithms",Proceedings of Eighth ACM Symposium on Theory of Computing,Hershey,Pennsylvania,May 1976,192-195.

15 "The Complexity of Searching an Ordered Random Table",(with F. F. Yao),Proceedings of Seventeenth IEEE Symposium on Foundations of Computer Science,Houston,Texas,October 1976,222-227.

16 "Probabilistic Computations: Toward a Unified Measure of Complexity",Proceedings of Eighteenth IEEE Symposium on Foundations of Computer Science,Providence,Rhode Island,October 1977,222-227.

17 "On the Loop Switching Addressing Problem",SIAM J. on Computing,7 （1978），82-87.

18 "On Random 2-3 Trees",Acta Informatica,9 （1978），159-170.

19 "K + 1 Heads are Better than K",(with R. L. Rivest),Journal of ACM,25 （1978），337-340.

20 "Addition Chains with Multiplicative Cost",(with R. L. Graham and F. F. Yao),Discrete Mathematics,23 （1978），115-119.

21 "The Complexity of Pattern Matching for a Random String",SIAM J. on Computing,8 （1979），368-387.

22 "A Note on a Conjecture of Kam and Ullman Concerning Statistical Databases ",Information Processing Letters,9 （1979），48-50.

23 "Storing a Sparse Table",(with R. E. Tarjan),Communications of ACM,22 （1979），606-611.

24 "On Some Complexity Questions in Distributive Computing",Proceedings of Eleventh ACM Symposium on Theory of Computing,Atlanta,Georgia,May 1979,209-213.

25 "External Hashing Schemes for Collections of Data Structures",(with R. J. Lipton and A. L. Rosenberg),Journal of ACM,27 （1980），81-95.

26 "New Algorithms for Bin Packing",Journal of ACM,27 （1980），207-227.

27 "Information Bounds are Weak for the Shortest Distance Problem",(with R. L. Graham and F. F. Yao),Journal of ACM,27，（1980），428-444.

28 "A Stochastic Model of Bin Packing",(with E. G. Coffman,Jr.,M. Hofri and K. So),Information and Control,44 （1980），105-115.

29 "An Analysis of Shellsort",Journal of Algorithms,1 （1980），14-50.

30 "On the Polyhedral Decision Problem",(with R. L. Rivest),SIAM J. on Computing,9 （1980），343-347.

31 "Bounds on Selection Networks",SIAM J. on Computing,9 （1980），566-582.

32 "Some Monotonicity Properties of Partial Orders",(with R. L. Graham and F. F. Yao),SIAM J. on Algebraic and Discrete Methods,1 （1980），251-258.

33 "A Note on the Analysis of Extendible Hashing",Information Processing Letters,11 （1980），84-86.

34 "Optimal Expected-Time Algorithm for Closest-point Problems",(with J. L. Bentley and B. W. Weide),ACM Trans. on Math. Software,6 （1980），561-580.

35 "Efficient Searching via Partial Ordering",(with A. Borodin,L. J. Guibas and N. A. Lynch),Information Processing Letters,12 （1981），71-75.

36 "An Analysis of a Memory Allocation Scheme for Implementing Stacks",SIAM J. on Computing,10 （1981），398-403.

37 "Should Tables be Sorted?",Journal of ACM,28 （1981），615-628.

38 "A Lower Bound for Finding Convex Hulls",Journal of ACM,28 （1981），780-787.

39 "The Entropic Limitations on VLSI Computations",Proceedings of Thirteenth ACM Symposium on Theory of Computing,Milwaukee,Wisconsin,May 1981,308-311.

40 "Average-case Complexity of Selecting the k-th Best",(with F. F. Yao),SIAM J. on Computing,11 （1982），428-447.

41 "The Complexity of Finding Cycles in Periodic Functions",(with R. Sedgewick and T. G. Szymanski),SIAM J. on Computing,11 （1982），376-390.

42 "On the Time-Space Tradeoff for Sorting with Linear Queries",Theoretical Computer Science,19 （1982），203-218.

43 "Lower Bounds to Algebraic Decision Trees",(with J. M. Steele,Jr.),Journal of Algorithms,3 （1982），1-8.

44 "On Parallel Computation for the Knapsack Problem",Journal of ACM,29 （1982），898-903.

45 "On Constructing Minimum Spanning Trees in k-dimensional Spaces and Related Problems",SIAM J. on Computing,11 （1982），721-736.

46 "Equal Justice for Unequal Shares of the Cake",(with M. Klawe),Congressus Numerantium,36 （1982），247-260.

47 "Rearrangeable Networks with Limited Depth",(with N. Pippenger),SIAM J. on Algebraic and Discrete Methods,3 （1982），411-417.

48 "Space-Time Tradeoff for Answering Range Queries",Proceedings of Fourteenth ACM Symposium on Theory of Computing,San Francisco,California,May 1982,128-136.

49 "Theory and Applications of Trapdoor Functions",Proceedings of Twenty-third IEEE Symposium on Foundations of Computer Science,Chicago,Illinois,November 1982,80-91.

50 "Protocols for Secure Computations",Proceedings of Twenty-third IEEE Symposium on Foundations of Computer Science,Chicago,Illinois,November 1982,160-164.

51 "On the Security of Public Key Protocols",(with D. Dolev),IEEE Trans. on Information Theory,29 （1983），198-208.

52 "Strong Signature Schemes",(with S. Goldwasser and S. Micali),Proceedings of Fifteenth ACM Symposium on Theory of Computing,Boston,Massachusetts,April 1983,431-439

53 "Lower Bounds by Probabilistic Arguments",Proceedings of Twenty-fourth IEEE Symposium on Foundations of Computer Science,Tucson,Arizona,November 1983,420-428.

54 "Context-free Grammars and Random Number Generation",Proceedings of NATO Workshop on Combinatorial Algorithms on Words,Maratea,Italy,July 1984,edited by A. Apostolico and Z. Galil,Academic Press,357-361.

55 "Fault-tolerant Networks for Sorting",(with F. F. Yao),SIAM J. on Computing,14 （1985），120-128.

56 "On the Expected Performance of Path Compression",SIAM J. on Computing,14 （1985），129-133.

57 "On Optimal Arrangements of Keys with Double Hashing",Journal of Algorithms,6 （1985），253-264.

58 "Uniform Hashing is Optimal",Journal of the ACM,32 （1985），687-693.

59 "On the Complexity of Maintaining Partial Sums",SIAM J. on Computing,14 （1985），253-264.

60 "A General Approach to d-dimensional Geometric Queries",(with F. F. Yao),Proceedings of Seventeenth ACM Symposium on Theory of Computing,Providence,Rhode Island,May 1985,163-168.

61 "Separating the Polynomial-time Hierarchy by Oracles",Proceedings of Twenty-sixth IEEE Symposium on Foundations of Computer Science,Eugene,Oregon,October 1985,1-10.

62 "How to Generate and Exchange Secrets",Proceedings of Twenty-seventh IEEE Symposium on Foundations of Computer Science,Toronto,Canada,October 1986,162-167.

63 "Monotone Bipartite Graph Properties are Evasive",SIAM J. on Computing,17 （1988），517-520.

64 "Computational Information Theory",in Complexity in Information Theory,edited by Y. Abu-Mostafa,Springer-Verlag,1988,1-15.

65 "Selecting the k Largest with Median Tests",Algorithmica,4 （1989），293-300.

66 "On the Complexity of Partial Order Productions",SIAM J. on Computing,18 （1989），679-689.

67 "On the Improbability of Reaching Byzantine Agreement",(with R. L. Graham) Proceedings of Twenty-First ACM Symposium on Theory of Computing,Seattle,Washington,May 1989,467-478.

68 "Circuits and Local Computations",Proceedings of Twenty First ACM Symposium on Theory of Computing,Seattle,Washington,May 1989,186-196.

69 "Computing Boolean Functions with Unreliable Tests",(with C. Kenyon-Mathieu) International Journal of Foundations of Computer Science,1 （1990），1-10.

70 "Coherent Functions and Program Checkers",Proceedings of Twenty-second ACM Symposium on Theory of Computing,Baltimore,Maryland,May 1990,84-94.

71 "On ACC and Threshold Circuits",Proceedings of Thirty-first IEEE Symposium on Foundations of Computer Science,October 1990,619-627.

72 "Lower Bounds to Randomized Algorithms for Graph Properties",Journal of Computer and System Sciences,42 （1991），267-287.

73 "Lower Bounds for Algebraic Computation Trees with Integer Inputs",SIAM J. On Computing,20 （1991），655-668.

74 "Program Checkers for Probability Generation",(with S. Kannan) Proceedings of Eighteenth International Colloquium on Automata,Languages and Programming,Madrid,Spain,July 1991,163-173.

75 "Linear Decision Trees: Volume Estimates and Topological Bounds",(with A. BjÖrner and L. Lovász) Proceedings of Twenty-fourth ACM Symposium on Theory of Computing,May 1992,170-177.

76 "A Circuit-Based Proof of Toda’s Theorem",(with R. Kannan,H. Venkateswaran and V. Vinay) Information and Computation,104 （1993），271-276.

77 "Towards Uncheatable Benchmarks",(with J. Cai,R. Lipton,and R. Sedgewick) Proceedings of Eighth IEEE Annual Structure in Complexity Conference,San Diego,California,May 1993,2-11.

78 "Quantum Circuit Complexity",Proceedings of Thirty-fourth IEEE Symposium on Foundations of Computer Science,Palo Alto,California,November 1993,352-361.

79 "A Randomized Algorithm for Maximum Finding with Parity Tests",(with H. F. Ting),Information Processing Letters,49 （1994），39-43.

80 "Near-Optimal Time-Space Tradeoff for Element Distinctness",SIAM J. On Computing,23 （1994），966-975.

81 "A Lower Bound for the Monotone Depth of Connectivity",Proceedings of Thirty-fifth IEEE Symposium on Foundations of Computer Science,Santa Fe,New Mexico,November 1994,302-308.

82 "On Computing Algebraic Functions Using Logarithms and Exponentials",(with D. Grigoriev and M. Singer) SIAM J. on Computing,24 （1995），242-246.

83 "Algebraic Decision Trees and Euler Characteristics",Theoretical Computer Science,141 （1995），133-150.

84 "On the Shrinkage Exponent for Read-Once Formulae",(with J. Hastad and A. Razborov),Theoretical Computer Science,141 （1995），269-282.

85 "Minimean Optimal Key Arrangements in Hash Tables",Algorithmica,14 （1995），409-428.

86 "Security of Quantum Protocols Against Coherent Measurements",Proceedings of Twenty-seventh ACM Symposium on Theory of Computing,Las Vegas,Nevada,May 1995,67-75.

87 "Decision Tree Complexity and Betti Numbers",Journal of Computer and Systems Sciences,55 （1997），36-43.

88 "Dictionary Look-Up with One Error",(with F. F. Yao),Journal of Algorithms,25 （1997），194-202.

89 "Read-Once Branching Programs,Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus",(with A. Razborov and A. Wigderson),Proceedings of Twenty-ninth ACM Symposium on Theory of Computing,May 1997,739-784.

90 "RAPID: Randomized Pharmacophore Identification for Drug Design",(with L. Kavraki,J. Latombe,R. Motwani,C. Shelton,and S. Venkatasubramanian),Proceedings of 1997 ACM Symposium on Applied Computational Geometry,Nice,France,1997,324-333.

91 "A Lower Bound on the Size of Algebraic Decision Trees for the MAX Problem",(with D. Grigoriev and M. Karpinski),Computational Complexity,7 （1998），193-203.

92 "Quantum Cryptography with Imperfect Apparatus",(with D. Mayers),Proceedings of Thirty-ninth IEEE Symposium on Foundations of Computer Science,October 1998,503-509.

93 "NQP C = co - C = P",(with T. Yamakami),Information Processing Letters,71 （1999），63-69.

94 "Quantum Bit Escrow",(with A. Aharonov,A. Ta-Shma and U. Vazirani),Proceedings of Thirty-second ACM Symposium on Theory of Computing,May 2000,715-724.

95 "Informational Complexity and the Direct Sum Problem for Simultaneous Message Complexity",(with A. Chakrabarti,Y. Shi and A. Wirth),Proceedings of Forty-second IEEE Symposium on Foundations of Computer Science,October 2001,270-278.

96 "Classical Physics and the Church-Turing Thesis",Journal of ACM,50 （2003），100-105.

97 "On the Power of Quantum Fingerprinting",Proceedings of Thirty-fifth ACM Symposium on Theory of Computing,June 2003,77-81.

98 "Graph Properties and Circular Functions: How Low Can Quantum Query Complexity Go?" (with X. Sun and S. Zhang),Proceedings of 19th IEEE Conference on Computational Complexity,Amherst,Massachusetts,June 2004,286-293.

99 "Graph Entropy and Quantum Sorting Problems",Proceedings of Thirty-sixth ACM Symposium on Theory of Computing,June 2004,112-117.

100 "Incentive Compatible Price Sequence in Dynamic Auctions",(with N. Chen,X. Deng and X. Sun),Proceedings of Thirty-first International Colloquium on Automata,Languages and Programming,Turku,Finland,July 2004 (Lecture Notes in Computer Science # 3142,Springer),320-331.

101 "Fisher Equilibrium Price with a Class of Concave Utility Functions" (with N. Chen,X. Deng and X. Sun),Proceedings of Twelfth Annual European Symposium on Algorithms,Bergen,Norway,September 2004 (Lecture Notes in Computer Science # 3221,Springer),169-179.

102 "Discrete and Continuous Min-energy Schedules for Variable Voltage Processors",(with M. Li and F. Yao),Proceedings of the National Academy of Sciences USA,103 （2006），3983-3987.

103 "On the Quantum Query Complexity of Local Search in Two and Three Dimensions",(With Xiaoming Sun),Proceedings of 47th Annual IEEE Symposium on Foundations of Computer Science,Berkeley,CA,October 2006,429-438.

104 "A Note on Universal Composable Zero Knowledge in Common Reference String Model ",(With Frances F. Yao and Yunlei Zhao),The 4th Annual Conference on Theory and Applications of Models of Computation,Shanghai,China,May 2007

105 "A Note on the Feasibility of Generalized Universal Composability ",(With Frances F. Yao and Yunlei Zhao),The 4th Annual Conference on Theory and Applications of Models of Computation,Shanghai,China,May 2007

106 Graph Design for Secure Multiparty Computation over Non-Abelian Groups

107 Generalized Tsirelson Inequalities,Commuting-Operator Provers,and Multi-Prover Interactive Proof Systems

108 Tsuyoshi Ito,Hirotada Kobayashi,Daniel Preda,Xiaoming Sun,and Andrew Chi-Chih Yao Generalized Tsirelson Inequalities,Commuting-Operator Provers,and Multi-Prover Interactive Proof Systems CCC 2008 2008

109 Xiaoming Sun,Andrew Chi-Chih Yao and Christophe Tartary Graph Design for Secure Multiparty Computation over Non-Abelian Groups Asiacrypt 2008

110 Xiaoming Sun,Andrew Chi-Chih Yao. On the Quantum Query Complexity of Local Search in Two and Three Dimensions in the following paginated issue of Algorithmica: Volume 55,Issue3 （2009），Page 576.

111 Andrew C.C. Yao,Frances F. Yao,Yunlei Zhao A Note on Universal Composable Zero Knowledge in Common Reference String Model Theoretical Computer Science 2009

112 Andrew C.C. Yao,Frances F. Yao,Yunlei Zhao A Note on the Feasibility of Generalized Universal Composability Mathematical Structure in Computer Science 2009

113 Andrew C. Yao,Moti Yung,and Yunlei Zhao,Concurrent Knowledge Extraction in the Public-Key Model,ICALP 2010

114 Andrew C. Yao and Yunlei Zhao. Deniable Internet Key Exchange,ACNS2010

1987年 波里亞獎（George Polya Prize）

1991 古根海姆基金會研究學(xué)者獎（Guggenheim Fellowship）

1995 美國計算機協(xié)會會士（Fellow,Association for Computing Machinery）

1996 高德納獎（Donald E. Knuth Prize）

1998 美國國家科學(xué)院院士（Member,US National Academy of Sciences）

2000 美國人文科學(xué)院院士 （Fellow,American Academy of Arts and Sciences）

2000 圖靈獎（A.M. Turing Award）

2000 臺灣中央研究院院士（Member,Academia Sinica）

2003 潘文淵研究考察獎 （Pan Wen-Yuan Research Award）

2003 香港城市大學(xué)理學(xué)榮譽博士（Doctor of Science,Honoris Causa,City University of Hong Kong）

2003 美國科學(xué)發(fā)展促進會會士（Fellow,American Association for the Advancement of Science）

2004 香港科技大學(xué)工學(xué)榮譽博士（Doctor of Engineering,Honoris Causa,Hong Kong University of Science and Technology）

2004 中國科學(xué)院外籍院士（Foreign Member,Chinese Academy of Sciences）

2004 伊利諾伊大學(xué)工程學(xué)院特殊貢獻校友獎（Alumni Award for Distinguished Service,College of Engineering,University of Illinois）

2006 香港中文大學(xué)理學(xué)榮譽博士（Doctor of Science,Honoris Causa,the Chinese University of Hong Kong）

2009 Doctor of Mathematics,Honoris Causa,University of Waterloo

2010 IACR Fellow

2012 澳門大學(xué)理學(xué)榮譽博士

2017年10月，姚期智當(dāng)選首批中國人工智能學(xué)會會士。

“我所學(xué)的東西能有機會在我出生的中國生根，有條件在該領(lǐng)域為中國培養(yǎng)出世界級的研究人員來，我覺得這是一件非常有意義的事情�！�

人生頭20年生活在中國，20歲以后生活在美國，57歲以后又人生歸宿在中國大陸的姚期智的人生軌跡宛如一個圓。

生在上海，長在臺灣，卻在美國接受了36年熏陶的姚期智自己也沒有料到，在中國所接受的教育是如此根深蒂固，尤其是隨著年齡的增長，也許是人生經(jīng)驗多了的緣故，姚期智對中國文化的感受更加深刻了。

“他是懷有中國情結(jié)的�！爆F(xiàn)任清華高等研究中心主任的聶華桐先生說，“前幾天，我們聊天，他說他在清華教育年輕一代，有一種滿足感，是在美國教美國學(xué)生時所沒有的。在這里，他教育的是中國年輕人！

現(xiàn)在，了解中國的歷史，欣賞中國的文化，聽古典音樂，閱讀專業(yè)以外的書籍，依舊是姚期智“閑暇”之余的主要內(nèi)容。

“中國是我的祖國，我受中國傳統(tǒng)文化的教育和影響是非常深厚的，我對整個中國的感情非常深厚。國內(nèi)有一個很好的目標(biāo)，要建設(shè)出幾個世界一流的研究型大學(xué)來，我覺得我現(xiàn)在能在清華參與這件工作也算是一點小小的貢獻。希望能盡點兒微薄之力�！�

3月29日，星期四。像往常一樣，姚期智走進第六教學(xué)樓二層的一間教室。9點50分，軟件科學(xué)實驗班的課照常開始。

下午兩點，姚期智把來自加州理工學(xué)院和奧克蘭大學(xué)的兩位學(xué)者請到信息科學(xué)技術(shù)大樓，給研究生開討論課。

下午3點，姚期智向前來看望自己的教育部部長周濟和科技部部長徐冠華匯報了兩年多來在清華的工作進展，并與兩位部長共同商討世界一流學(xué)科的建設(shè)問題。

下午4點，會談結(jié)束。姚期智開始科研、備課，直至深夜……

一個幾乎沒有間歇的忙碌的日子。對這位享譽世界的計算機“圖靈獎”得主來說，是他在清華的平常一天。

全英文授課，全英文交流，講臺上經(jīng)常出現(xiàn)來自世界各地的優(yōu)秀學(xué)者。師生間沒有拘束，學(xué)生們用流利的英語提問，問題尖銳而幽默，課堂上不時響起陣陣笑聲。這就是軟件科學(xué)實驗班最普通的一堂課。

這樣的課堂，讓人很難想象，講授的內(nèi)容是艱深難懂的理論計算機科學(xué)。

軟件科學(xué)實驗班的每堂課都是精心設(shè)計的。每次上課，姚期智都會選擇生動典型的實例，學(xué)生引入到最根本的理論問題中。從清華到王府井怎么走路程最短?男女生如何選擇約會對象成功率最高?教學(xué)樓里的自動售貨機如何付款最劃算?這些貼近學(xué)生生活的例子，大大激發(fā)了他們的興趣和求知欲。

有一次，姚期智在課堂上“懸賞”出題，25分鐘內(nèi)解出者請吃“必勝客”。令他驚喜的是，90%的學(xué)生在規(guī)定時間內(nèi)做出了正確的解答。姚期智信守承諾，按人數(shù)叫來近百份外賣，獎勵了每位答對的學(xué)生。那天姚期智特別高興，甚至半開玩笑地問學(xué)生：“你們以前有沒有遇到過像我這么好的老師?”

在姚期智眼中，這是一群聰明可愛的學(xué)生。但姚期智并沒有因為鐘愛而放松對學(xué)生的要求，恰恰相反，他的課是出了名的容量大、習(xí)題多。所有作業(yè)必須以英文完成，而且要用專門的科學(xué)論文排版軟件LaTeX來寫。

對于姚期智的苦心，同學(xué)們大多能夠理解。在清華2005—2006學(xué)年度春季學(xué)期對873門本科課程進行的學(xué)生問卷評估中,“理論計算機科學(xué)”課程居理論課前十位。

事實上，為了把握課程的難度，姚期智每周都會花很多時間和高研中心的孫曉明老師一起討論；每次布置的作業(yè)題，姚期智也總會讓孫曉明先做做看，感覺一下難度如何；為了防止學(xué)生“掉隊”，姚期智請助教在每周的小班習(xí)題課上用中文講解、答疑；第一年選課學(xué)生太多，姚期智還讓5位助教分別“承包”一個小組，每周組織學(xué)生討論課上遇到的問題。

除了帶博士生做研究、指導(dǎo)本科生的畢業(yè)設(shè)計外，每周還要為本科生講4小時的課，這是姚期智為自己定下的工作量。而他在普林斯頓任教時，只是每年按慣例為本科生和研究生各上一學(xué)期的課。

不辭辛勞，是因為他對清華的本科生寄予厚望。2006年春天著手創(chuàng)辦軟件科學(xué)實驗班時，姚期智明確表示：“我們的目標(biāo)并不是培養(yǎng)普通的計算機軟件程序員，而是培養(yǎng)具有國際水平的一流計算機人才�！�

回國之初，姚期智原本計劃盡快構(gòu)建一個培養(yǎng)博士生的良好機制，但隨后在清華的親身感受，讓他逐漸萌生了人才培養(yǎng)從本科生開始的想法。姚期智在普林斯頓大學(xué)的“關(guān)門弟子”、在加州理工學(xué)院做博士后研究的張勝譽由衷欽佩老師的決心：“看到完善本科教育的重要性后，他不惜扎到最深處，從根部解決這個問題。他在本科生中開辦軟件科學(xué)實驗班，自己一點點教起，這是很費氣力的一件事�！�

姚期智與微軟亞洲研究院沈向洋院長一起探討，為軟件科學(xué)實驗班制定培養(yǎng)方案，編寫教學(xué)計劃。按照這個計劃，8門高水平核心課程分別由姚期智等知名教授和來自微軟亞洲研究院的高級研究人員擔(dān)綱，其中由姚期智親自主講的《理論計算機科學(xué)》是國內(nèi)首次開設(shè)的計算機理論課程。

8門核心課程中，有4門課程由微軟亞洲研究院的高層研究人員講授，他們最新的科研進展和課題引進教學(xué)。2006年秋，來自微軟的教員竟然講到了當(dāng)時還未在中國上市的Vista操作系統(tǒng)——那時，很多講授類似課程的教師都還無法獲得任何有關(guān)Vista的具體資料。

培養(yǎng)方案大四整整一年設(shè)置為實踐教育和研究訓(xùn)練時間，地點在微軟等國際知名的大IT公司，采用雙導(dǎo)師制，以保證教學(xué)的規(guī)范性和工程實踐的先進性。

“我們要多為學(xué)生提供增加基礎(chǔ)理論知識的機會,同時也要不斷豐富他們理論用到實際方面的經(jīng)驗。唯有具備深厚的理論基礎(chǔ)和主動學(xué)習(xí)的能力，他們才能適應(yīng)未來的工作環(huán)境�！币ζ谥钦f。