姚期智

姚期智(AndrewChi-ChihYao)，祖籍湖北省孝感市孝昌县，世界著名计算机学家，2000年图灵奖得主，美国科学院院士，美国科学与艺术学院院士，中国科学院外籍院士，清华大学高等研究中心教授，香港中文大学博文讲座教授。1967年获得*大学物理学士学位，1972年获得美国哈佛大学物理博士学位，1975年获得美国伊利诺依大学计算机科学博士学位。1975年至1986年曾先后在美国麻省理工学院数学系、斯坦福大学计算机系、加利福尼亚大学伯克利分校计算机系任助理教授、教授。2004年起在清华大学任全职教授。2005年出任香港中文大学博文讲座教授。现任清华大学交叉信息研究院院长、教授，香港中文大学博文讲座教授。

中文名：姚期智

外文名：AndrewChi-ChihYao

国籍：原籍美国、现已放弃外籍

民族：汉族

出生地：上海

出生日期：1946年12月24日

职业：计算机学家

毕业院校：*大学、哈佛大学、伊利诺依大学

主要成就：2000年图灵奖得主

职称：教授

1、人物经历

学习经历

1946年12月生于上海。

1967年获得*大学物理学士学位；

1972年获得美国哈佛大学物理博士学位；

1975年获得美国伊利诺依大学计算机科学博士学位；

在美任教

1975年至1986年先后在美国麻省理工学院数学系、斯坦福大学计算机系、加利福尼亚大学伯克利分校计算机系，普林斯顿大学等著名学府担任教授；

1986年至2004年在普林斯顿大学计算机科学系担任WiliamandEdnaMacaleer工程与应用科学教授。

1998年被选为美国科学院院士；

2000年被选为美国科学与艺术学院院士；

2004年当选为中国科学院外籍院士。

全职回国

2004年，姚期智决定将57岁以后的人生回归*，开创科学研究的新舞台。他毅然辞去了普林斯顿大学终身教职，卖掉了在美国的房子，正式加盟清华大学高等研究中心任全职教授。

2005年3月16日，获得北京永久居留权的“绿卡”。

2005年，由姚期智主导并与微软亚洲研究院共同合作的“软件科学实验班”（后更名为“计算机科学实验班”，也被称为“姚班”）在清华成立，并先后招收大一、大二两班学生。次年3月，姚期智在致清华全校同学的一封信中掷地有声地写到：“我们的目标并不是培养优秀的计算机软件程序员，我们要培养的是具有国际水平的一流计算机人才。”

在清华大学先后创办计算机科学实验班（姚班）、理论计算机科学研究中心（ITCS）、交叉信息研究院（IIIS）和量子信息中心（CQI）。他从清华开始，逐步建立中国的计算机理论科学的研究队伍，试图在国际上造成影响。

2007年3月29日，教育部部长周济、科技部部长徐冠华共同到清华看望姚期智。周济强调，姚期智全职归来并带动一批人才回国发展，堪称一面“旗帜”。徐冠华也谈到，像姚期智这样的旗帜性人物回国必然会产生“放大效应”。

放弃外籍

2017年2月，已放弃外国国籍成为中国公民的中国科学院外籍院士杨振宁、姚期智两位教授日前正式转为中国科学院院士。因外籍院士提出转为中国科学院院士在学部历史上是首次，无先例和程序可循，中科院学部专门制定了《中国科学院外籍院士转为中国科学院院士暂行办法》。按照新制订的程序和规则，杨振宁院士加入中国科学院数学物理学部，姚期智院士加入中国科学院信息技术科学部。

2、人物成就

学术成就

研究方向包括计算理论及其在密码学和量子计算中的应用。

在三大方面具有突出贡献：

（1）创建理论计算机科学的重要次领域：通讯复杂性和伪随机数生成计算理论；

姚期智

（2）奠定现代密码学基础，在基于复杂性的密码学和安全形式化方法方面有根本性贡献；

（3）解决线路复杂性、计算几何、数据结构及量子计算等领域的开放性问题并建立全新典范。

他是研究网络通讯复杂性理论的国际前驱，于1993年最先提出量子通信复杂性，基本上完成了量子计算机的理论基础。1995年姚期智教授提出分布式量子计算模式，后来成为分布式量子算法和量子通讯协议安全性的基础。

他是美国国家科学院院士、美国人文及科学院院士、中国科学院外籍院士及**研究院院士。他曾获得美国工业与应用数学学会乔治·波利亚奖，及以算法设计大师克努特命名的首届克努特奖。

因为对计算理论包括伪随机数生成、密码学与通信复杂度的突出贡献，美国计算机协会（ACM）也把2000年度的图灵奖授予他。姚期智是图灵奖创立以来首位获奖的亚裔学者，也是迄今为止获此殊荣的唯一华裔计算机科学家。

姚期智还获得了诸多荣誉和奖项，其中包括1987年的波里亚奖（GeorgePolyaPrize）和1996年的高德纳奖（DonaldE.KnuthPrize）等。2003及2004年，姚教授先后获香港城市大学和香港科技大学荣誉博士学位，2006年获香港中文大学荣誉理学博士学位，2009年获滑铁卢大学荣誉博士学位，2010年2月姚期智先生当选"2009首都十大教育新闻人物"。

个人荣誉

1987年波里亚奖（GeorgePolyaPrize）

1991古根海姆基金会研究学者奖（GuggenheimFellowship）

1995美国计算机协会会士（Fellow,AssociationforComputingMachinery）

1996高德纳奖（DonaldE.KnuthPrize）

1998美国国家科学院院士（Member,USNationalAcademyofSciences）

2000美国人文科学院院士（Fellow,AmericanAcademyofArtsandSciences）

2000图灵奖（A.M.TuringAward）

2000**研究院院士（Member,AcademiaSinica）

2003潘文渊研究考察奖（PanWen-YuanResearchAward）

2003香港城市大学理学荣誉博士（DoctorofScience,HonorisCausa,CityUniversityofHongKong）

2003美国科学发展促进会会士（Fellow,AmericanAssociationfortheAdvancementofScience）

2004香港科技大学工学荣誉博士（DoctorofEngineering,HonorisCausa,HongKongUniversityofScienceandTechnology）

2004中国科学院外籍院士（ForeignMember,ChineseAcademyofSciences）

2004伊利诺伊大学工程学院特殊贡献校友奖（AlumniAwardforDistinguishedService,CollegeofEngineering,UniversityofIllinois）

2006香港中文大学理学荣誉博士（DoctorofScience,HonorisCausa,theChineseUniversityofHongKong）

2009DoctorofMathematics,HonorisCausa,UniversityofWaterloo

2010IACRFellow

2012澳门大学理学荣誉博士

回归清华

姚期智的全职回国，填补了国内计算机学科的空白：这不只是因为他无可争议的学术地位，更因为在他所从事的算法和复杂性领域，当时几乎还看不到中国国内学者的身影。而这一领域既是美国理论计算机科学的主流方向，又是计算机界最高奖项——“图灵奖”获奖人数最多的一个方向。

由此，清华的计算机学科第一次集齐了理论、应用、系统结构和软件四大领域的优秀学者，这在国际上也是不多见的。

姚期智带来了一个从6人增至10人的讲席教授组，他们都是国际上算法和复杂性领域最出色的华人学者。

随着姚期智的归来，清华计算机学科国际交流的频率和层次都达到了一个新的高度。以姚期智创建的理论计算机科学研究中心（ITCS）为例，2007年国外学者的访问日程已经安排到了12月31日。美国两院院士、1985年“图灵奖”得主RichardKarp,2002年“图灵奖”得主、著名密码学家AdiShamir……都曾出现在ITCS的访问学者名单上。

2006年，清华计算机系有3篇论文入选理论计算机科学领域与STOC并列的最*学术会议FOCS，不仅实现了国内学者在该会议上“零的突破”，而且入选篇数超过了美国计算机科学领域的“超一流”大学UCBerke-ley。更令人振奋的是，当年24岁的博士生陈汐与来自香港城市大学的讲席教授邓小铁合作，出色地解决了理论计算机科学的著名难题——二人博弈中纳什均衡点的复杂性问题，并因此获得2006年度FOCS最佳论文奖。

这一年，姚期智的团队还为国内计算机学者填补了在《美国科学院院刊》上发文的空白。

2007年4月16日—19日，理论计算机科学研究中心成功主办了第十届国际公钥密码学会议，来自世界15个国家的学者参会，姚期智担任大会主席。这是国际密码学研究领域和理论计算机研究方向的一次世界级盛会，首次在中国召开，又恰逢该会议的十周年庆典，可谓意义深远。

3、人物著作

"DivergencesofMAssiveYang-MillsTheories:HigherGroups",(withS.L.GlashowandJ.Illiopoulos),PhysicalReview,D4（1971），1918-1919.

2"StandingPionWavesinSuperdenseMatter",(withR.F.Sawyer),PhysicalReview,D7（1973），1579-1586.

3"AnO(|E|loglog|V|)AlgorithmforFindingMinimumSpanningTrees",InformationProcessingLetters,4（1975），21-23.

4"AnalysisoftheSubtractiveAlgorithmsforGreatestCommonDivisors",(withD.E.Knuth),ProceedingsoftheNationalAcademyofSciencesUSA,72（1975），4720-4722.

5"OnComputingtheMinimaofQuadraticForms",ProceedingsofSeventhACMSymposiumonTheoryofComputing,Albuquerque,NewMexico,May1975,23-26.

6"TheComplexityofNon-uniformRandomNumberGeneration",(withD.E.Knuth),inAlgorithmsandComplexity:NewDirectionsandRecentResults,editedbyJ.F.Traub,AcademicPress,1976,pp.357-428.

7"OntheEvaluationofPowers",SIAMJ.onComputing,5（1976），100-103.

8"ResourceConstrainedSchedulingasGeneralizedBinPacking",(withM.R.Garey,R.L.GrahamandD.S.Johnson),J.ofCombinatorialTheory,A21（1976），257-298.

9"BoundsonMergingNetworks",(withF.F.Yao),JournalofACM,23（1976），566-571.

10"TilingwithIncomparableRectangles",(withE.M.ReingoldandW.Sanders),JournalofRecreationalMathematics,8（1976），112-119.

11"ACombinatorialOptimizationProblemRelatedtoDataSetAllocation",(withC.K.Wong),RevueFrancaiseD'Automatique,Informatique,RechercheOperationnelle,Suppl.No.5（1976），83-96.

12"OnaProblemofKatonaonMinimalSeparationSystems",DiscreteMathematics,15（1976），193-199.

13"AnAlmostOptimalAlgorithmforUnboundedSearching",(withJ.Bentley),InformationProcessingLetters,5（1976），82-87.

14"OntheAverageBehaviorofSetMergingAlgorithms",ProceedingsofEighthACMSymposiumonTheoryofComputing,Hershey,Pennsylvania,May1976,192-195.

15"TheComplexityofSearchinganOrderedRandomTable",(withF.F.Yao),ProceedingsofSeventeenthIEEESymposiumonFoundationsofComputerScience,Houston,Texas,October1976,222-227.

16"ProbabilisticComputations:TowardaUnifiedMeasureofComplexity",ProceedingsofEighteenthIEEESymposiumonFoundationsofComputerScience,Providence,RhodeIsland,October1977,222-227.

17"OntheLoopSwitchingAddressingProblem",SIAMJ.onComputing,7（1978），82-87.

18"OnRandom2-3Trees",ActaInformatica,9（1978），159-170.

19"K+1HeadsareBetterthanK",(withR.L.Rivest),JournalofACM,25（1978），337-340.

20"AdditionChainswithMultiplicativeCost",(withR.L.GrahamandF.F.Yao),DiscreteMathematics,23（1978），115-119.

21"TheComplexityofPatternMatchingforaRandomString",SIAMJ.onComputing,8（1979），368-387.

22"ANoteonaConjectureofKamandUllmanConcerningStatisticalDatabases",InformationProcessingLetters,9（1979），48-50.

23"StoringaSparseTable",(withR.E.Tarjan),CommunicationsofACM,22（1979），606-611.

24"OnSomeComplexityQuestionsinDistributiveComputing",ProceedingsofEleventhACMSymposiumonTheoryofComputing,Atlanta,Georgia,May1979,209-213.

25"ExternalHashingSchemesforCollectionsofDataStructures",(withR.J.LiptonandA.L.Rosenberg),JournalofACM,27（1980），81-95.

26"NewAlgorithmsforBinPacking",JournalofACM,27（1980），207-227.

27"InformationBoundsareWeakfortheShortestDistanceProblem",(withR.L.GrahamandF.F.Yao),JournalofACM,27，（1980），428-444.

28"AStochasticModelofBinPacking",(withE.G.Coffman,Jr.,M.HofriandK.So),InformationandControl,44（1980），105-115.

29"AnAnalysisofShellsort",JournalofAlgorithms,1（1980），14-50.

30"OnthePolyhedralDecisionProblem",(withR.L.Rivest),SIAMJ.onComputing,9（1980），343-347.

31"BoundsonSelectionNetworks",SIAMJ.onComputing,9（1980），566-582.

32"SomeMonotonicityPropertiesofPartialOrders",(withR.L.GrahamandF.F.Yao),SIAMJ.onAlgebraicandDiscreteMethods,1（1980），251-258.

33"ANoteontheAnalysisofExtendibleHashing",InformationProcessingLetters,11（1980），84-86.

34"OptimalExpected-TimeAlgorithmforClosest-pointProblems",(withJ.L.BentleyandB.W.Weide),ACMTrans.onMath.Software,6（1980），561-580.

35"EfficientSearchingviaPartialOrdering",(withA.Borodin,L.J.GuibasandN.A.Lynch),InformationProcessingLetters,12（1981），71-75.

36"AnAnalysisofaMemoryAllocationSchemeforImplementingStacks",SIAMJ.onComputing,10（1981），398-403.

37"ShouldTablesbeSorted?",JournalofACM,28（1981），615-628.

38"ALowerBoundforFindingConvexHulls",JournalofACM,28（1981），780-787.

39"TheEntropicLimitationsonVLSIComputations",ProceedingsofThirteenthACMSymposiumonTheoryofComputing,Milwaukee,Wisconsin,May1981,308-311.

40"Average-caseComplexityofSelectingthek-thBest",(withF.F.Yao),SIAMJ.onComputing,11（1982），428-447.

41"TheComplexityofFindingCyclesinPeriodicFunctions",(withR.SedgewickandT.G.Szymanski),SIAMJ.onComputing,11（1982），376-390.

42"OntheTime-SpaceTradeoffforSortingwithLinearQueries",TheoreticalComputerScience,19（1982），203-218.

43"LowerBoundstoAlgebraicDecisionTrees",(withJ.M.Steele,Jr.),JournalofAlgorithms,3（1982），1-8.

44"OnParallelComputationfortheKnapsackProblem",JournalofACM,29（1982），898-903.

45"OnConstructingMinimumSpanningTreesink-dimensionalSpacesandRelatedProblems",SIAMJ.onComputing,11（1982），721-736.

46"EqualJusticeforUnequalSharesoftheCake",(withM.Klawe),CongressusNumerantium,36（1982），247-260.

47"RearrangeableNetworkswithLimitedDepth",(withN.Pippenger),SIAMJ.onAlgebraicandDiscreteMethods,3（1982），411-417.

48"Space-TimeTradeoffforAnsweringRangeQueries",ProceedingsofFourteenthACMSymposiumonTheoryofComputing,SanFrancisco,California,May1982,128-136.

49"TheoryandApplicationsofTrapdoorFunctions",ProceedingsofTwenty-thirdIEEESymposiumonFoundationsofComputerScience,Chicago,Illinois,November1982,80-91.

50"ProtocolsforSecureComputations",ProceedingsofTwenty-thirdIEEESymposiumonFoundationsofComputerScience,Chicago,Illinois,November1982,160-164.

51"OntheSecurityofPublicKeyProtocols",(withD.Dolev),IEEETrans.onInformationTheory,29（1983），198-208.

52"StrongSignatureSchemes",(withS.GoldwAsserandS.Micali),ProceedingsofFifteenthACMSymposiumonTheoryofComputing,Boston,MAssachusetts,April1983,431-439

53"LowerBoundsbyProbabilisticArguments",ProceedingsofTwenty-fourthIEEESymposiumonFoundationsofComputerScience,Tucson,Arizona,November1983,420-428.

54"Context-freeGrammarsandRandomNumberGeneration",ProceedingsofNATOWorkshoponCombinatorialAlgorithmsonWords,Maratea,Italy,July1984,editedbyA.ApostolicoandZ.Galil,AcademicPress,357-361.

55"Fault-tolerantNetworksforSorting",(withF.F.Yao),SIAMJ.onComputing,14（1985），120-128.

56"OntheExpectedPerformanceofPathCompression",SIAMJ.onComputing,14（1985），129-133.

57"OnOptimalArrangementsofKeyswithDoubleHashing",JournalofAlgorithms,6（1985），253-264.

58"UniformHashingisOptimal",JournaloftheACM,32（1985），687-693.

59"OntheComplexityofMaintainingPartialSums",SIAMJ.onComputing,14（1985），253-264.

60"AGeneralApproachtod-dimensionalGeometricQueries",(withF.F.Yao),ProceedingsofSeventeenthACMSymposiumonTheoryofComputing,Providence,RhodeIsland,May1985,163-168.

61"SeparatingthePolynomial-timeHierarchybyOracles",ProceedingsofTwenty-sixthIEEESymposiumonFoundationsofComputerScience,Eugene,Oregon,October1985,1-10.

62"HowtoGenerateandExchangeSecrets",ProceedingsofTwenty-seventhIEEESymposiumonFoundationsofComputerScience,Toronto,Canada,October1986,162-167.

63"MonotoneBipartiteGraphPropertiesareEvasive",SIAMJ.onComputing,17（1988），517-520.

64"ComputationalInformationTheory",inComplexityinInformationTheory,editedbyY.Abu-Mostafa,Springer-Verlag,1988,1-15.

65"SelectingthekLargestwithMedianTests",Algorithmica,4（1989），293-300.

66"OntheComplexityofPartialOrderProductions",SIAMJ.onComputing,18（1989），679-689.

67"OntheImprobabilityofReachingByzantineAgreement",(withR.L.Graham)ProceedingsofTwenty-FirstACMSymposiumonTheoryofComputing,Seattle,Washington,May1989,467-478.

68"CircuitsandLocalComputations",ProceedingsofTwentyFirstACMSymposiumonTheoryofComputing,Seattle,Washington,May1989,186-196.

69"ComputingBooleanFunctionswithUnreliableTests",(withC.Kenyon-Mathieu)InternationalJournalofFoundationsofComputerScience,1（1990），1-10.

70"CoherentFunctionsandProgramCheckers",ProceedingsofTwenty-secondACMSymposiumonTheoryofComputing,Baltimore,Maryland,May1990,84-94.

71"OnACCandThresholdCircuits",ProceedingsofThirty-firstIEEESymposiumonFoundationsofComputerScience,October1990,619-627.

72"LowerBoundstoRandomizedAlgorithmsforGraphProperties",JournalofComputerandSystemSciences,42（1991），267-287.

73"LowerBoundsforAlgebraicComputationTreeswithIntegerInputs",SIAMJ.OnComputing,20（1991），655-668.

74"ProgramCheckersforProbabilityGeneration",(withS.Kannan)ProceedingsofEighteenthInternationalColloquiumonAutomata,LanguagesandProgramming,Madrid,Spain,July1991,163-173.

75"LinearDecisionTrees:VolumeEstimatesandTopologicalBounds",(withA.BjÖrnerandL.Lovász)ProceedingsofTwenty-fourthACMSymposiumonTheoryofComputing,May1992,170-177.

76"ACircuit-BasedProofofToda'sTheorem",(withR.Kannan,H.VenkateswaranandV.Vinay)InformationandComputation,104（1993），271-276.

77"TowardsUncheatableBenchmarks",(withJ.Cai,R.Lipton,andR.Sedgewick)ProceedingsofEighthIEEEAnnualStructureinComplexityConference,SanDiego,California,May1993,2-11.

78"QuantumCircuitComplexity",ProceedingsofThirty-fourthIEEESymposiumonFoundationsofComputerScience,PaloAlto,California,November1993,352-361.

79"ARandomizedAlgorithmforMaximumFindingwithParityTests",(withH.F.Ting),InformationProcessingLetters,49（1994），39-43.

80"Near-OptimalTime-SpaceTradeoffforElementDistinctness",SIAMJ.OnComputing,23（1994），966-975.

81"ALowerBoundfortheMonotoneDepthofConnectivity",ProceedingsofThirty-fifthIEEESymposiumonFoundationsofComputerScience,SantaFe,NewMexico,November1994,302-308.

82"OnComputingAlgebraicFunctionsUsingLogarithmsandExponentials",(withD.GrigorievandM.Singer)SIAMJ.onComputing,24（1995），242-246.

83"AlgebraicDecisionTreesandEulerCharacteristics",TheoreticalComputerScience,141（1995），133-150.

84"OntheShrinkageExponentforRead-OnceFormulae",(withJ.HastadandA.Razborov),TheoreticalComputerScience,141（1995），269-282.

85"MinimeanOptimalKeyArrangementsinHashTables",Algorithmica,14（1995），409-428.

86"SecurityofQuantumProtocolsAgainstCoherentMeasurements",ProceedingsofTwenty-seventhACMSymposiumonTheoryofComputing,LasVegas,Nevada,May1995,67-75.

87"DecisionTreeComplexityandBettiNumbers",JournalofComputerandSystemsSciences,55（1997），36-43.

88"DictionaryLook-UpwithOneError",(withF.F.Yao),JournalofAlgorithms,25（1997），194-202.

89"Read-OnceBranchingPrograms,RectangularProofsofthePigeonholePrincipleandtheTransversalCalculus",(withA.RazborovandA.Wigderson),ProceedingsofTwenty-ninthACMSymposiumonTheoryofComputing,May1997,739-784.

90"RAPID:RandomizedPharmacophoreIdentificationforDrugDesign",(withL.Kavraki,J.Latombe,R.Motwani,C.Shelton,andS.Venkatasubramanian),Proceedingsof1997ACMSymposiumonAppliedComputationalGeometry,Nice,France,1997,324-333.

91"ALowerBoundontheSizeofAlgebraicDecisionTreesfortheMAXProblem",(withD.GrigorievandM.Karpinski),ComputationalComplexity,7（1998），193-203.

92"QuantumCryptographywithImperfectApparatus",(withD.Mayers),ProceedingsofThirty-ninthIEEESymposiumonFoundationsofComputerScience,October1998,503-509.

93"NQPC=co-C=P",(withT.Yamakami),InformationProcessingLetters,71（1999），63-69.

94"QuantumBitEscrow",(withA.Aharonov,A.Ta-ShmaandU.Vazirani),ProceedingsofThirty-secondACMSymposiumonTheoryofComputing,May2000,715-724.

95"InformationalComplexityandtheDirectSumProblemforSimultaneousMessageComplexity",(withA.Chakrabarti,Y.ShiandA.Wirth),ProceedingsofForty-secondIEEESymposiumonFoundationsofComputerScience,October2001,270-278.

96"ClAssicalPhysicsandtheChurch-TuringThesis",JournalofACM,50（2003），100-105.

97"OnthePowerofQuantumFingerprinting",ProceedingsofThirty-fifthACMSymposiumonTheoryofComputing,June2003,77-81.

98"GraphPropertiesandCircularFunctions:HowLowCanQuantumQueryComplexityGo?"(withX.SunandS.Zhang),Proceedingsof19thIEEEConferenceonComputationalComplexity,Amherst,MAssachusetts,June2004,286-293.

99"GraphEntropyandQuantumSortingProblems",ProceedingsofThirty-sixthACMSymposiumonTheoryofComputing,June2004,112-117.

100"IncentiveCompatiblePriceSequenceinDynamicAuctions",(withN.Chen,X.DengandX.Sun),ProceedingsofThirty-firstInternationalColloquiumonAutomata,LanguagesandProgramming,Turku,Finland,July2004(LectureNotesinComputerScience#3142,Springer),320-331.

101"FisherEquilibriumPricewithaClAssofConcaveUtilityFunctions"(withN.Chen,X.DengandX.Sun),ProceedingsofTwelfthAnnualEuropeanSymposiumonAlgorithms,Bergen,Norway,September2004(LectureNotesinComputerScience#3221,Springer),169-179.

102"DiscreteandContinuousMin-energySchedulesforVariableVoltageProcessors",(withM.LiandF.Yao),ProceedingsoftheNationalAcademyofSciencesUSA,103（2006），3983-3987.

103"OntheQuantumQueryComplexityofLocalSearchinTwoandThreeDimensions",(WithXiaomingSun),Proceedingsof47thAnnualIEEESymposiumonFoundationsofComputerScience,Berkeley,CA,October2006,429-438.

104"ANoteonUniversalComposableZeroKnowledgeinCommonReferenceStringModel",(WithFrancesF.YaoandYunleiZhao),The4thAnnualConferenceonTheoryandApplicationsofModelsofComputation,Shanghai,China,May2007

105"ANoteontheFeasibilityofGeneralizedUniversalComposability",(WithFrancesF.YaoandYunleiZhao),The4thAnnualConferenceonTheoryandApplicationsofModelsofComputation,Shanghai,China,May2007

106GraphDesignforSecureMultipartyComputationoverNon-AbelianGroups

107GeneralizedTsirelsonInequalities,Commuting-OperatorProvers,andMulti-ProverInteractiveProofSystems

108TsuyoshiIto,HirotadaKobayashi,DanielPreda,XiaomingSun,andAndrewChi-ChihYaoGeneralizedTsirelsonInequalities,Commuting-OperatorProvers,andMulti-ProverInteractiveProofSystemsCCC20082008

109XiaomingSun,AndrewChi-ChihYaoandChristopheTartaryGraphDesignforSecureMultipartyComputationoverNon-AbelianGroupsAsiacrypt2008

110XiaomingSun,AndrewChi-ChihYao.OntheQuantumQueryComplexityofLocalSearchinTwoandThreeDimensionsinthefollowingpaginatedissueofAlgorithmica:Volume55,Issue3（2009），Page576.

111AndrewC.C.Yao,FrancesF.Yao,YunleiZhaoANoteonUniversalComposableZeroKnowledgeinCommonReferenceStringModelTheoreticalComputerScience2009

112AndrewC.C.Yao,FrancesF.Yao,YunleiZhaoANoteontheFeasibilityofGeneralizedUniversalComposabilityMathematicalStructureinComputerScience2009

113AndrewC.Yao,MotiYung,andYunleiZhao,ConcurrentKnowledgeExtractioninthePublic-KeyModel,ICALP2010

114AndrewC.YaoandYunleiZhao.DeniableInternetKeyExchange,ACNS2010

4、家庭生活

姚期智的夫人储枫教授早在2003年从美国去香港城市大学担任计算机科学系系主任。

5、人物轶事

姚期智人生头20年生活在中国，20岁以后生活在美国，57岁以后又将人生归宿在*的姚期智的人生轨迹宛如一个圆。

生在上海，长在*，却在美国接受了36年熏陶的姚期智自己也没有料到，在中国所接受的教育是如此根深蒂固，尤其是随着年龄的增长，也许是人生经验多了的缘故，姚期智对中国文化的感受更加深刻了。

姚期智是怀有中国情结的。姚期智说他在清华教育年轻一代，有一种满足感，是在美国教美国学生时所没有的。在这里，他教育的是中国年轻人！

姚期智表示“中国是我的祖国，我受中国传统文化的教育和影响是非常深厚的，我对整个中国的感情非常深厚。目前国内有一个很好的目标，要建设出几个世界一流的研究型大学来，我觉得我现在能在清华参与这件工作也算是一点小小的贡献。希望能尽点儿微薄之力。”

验室的筹建工作，专门与姚期智教授会面并听取了他的汇报和建议。