Diêu kỳ trí, nam, 1946 niên 12 nguyệt 24 nhật xuất sinh vu trung quốc thượng hải, kế toán cơ khoa học chuyên gia, 2000 niênĐồ linh tưởngHoạch đắc giả,Mỹ quốc quốc gia khoa học việnNgoại tịch viện sĩ,Mỹ quốc nghệ thuật dữ khoa học việnNgoại tịch viện sĩ,Trung quốc khoa học việnViện sĩ[1],Đài loanTrung ương nghiên cứu việnViện sĩ[25],Hương cảng khoa học việnSang viện viện sĩ[2],Thanh hoa đại học giao xoa tín tức nghiên cứu việnViện trường,Thanh hoa đại học cao đẳng nghiên cứu trung tâmGiáo thụ,Hương cảng trung văn đại họcBác văn giảng tọa giáo thụ[3],Thanh hoa đại học - ma tỉnh lý công học viện - hương cảng trung văn đại học lý luận kế toán cơ khoa học nghiên cứu trung tâmChủ nhậm[4],Thanh hoa đại học nhân công trí năng học việnViện trường.[29]
Diêu kỳ trí 1967 niên hoạch đắcĐài loan đại họcVật lý học sĩ học vị; 1972 niên hoạch đắcCáp phật đại họcVật lý bác sĩ học vị; 1975 niên hoạch đắc y lợi nặc y đại học kế toán cơ khoa học bác sĩ học vị, chi hậu tiên hậu tại mỹ quốcMa tỉnh lý công học việnSổ học hệ,Tư thản phúc đại họcKế toán cơ hệ,Gia châu đại học bá khắc lợi phân giáoKế toán cơ hệ nhậm trợ lý giáo thụ, giáo thụ; 1998 niên đương tuyển vi mỹ quốc quốc gia khoa học viện viện sĩ; 2000 niên hoạch đắcĐồ linh tưởng,Thị duy nhất hoạch đắc cai tưởng đích hoa nhân học giả ( tiệt chí 2020 niên ); 2004 niên khởi tại thanh hoa đại học nhậm toàn chức giáo thụ, đồng niên đương tuyển vi trung quốc khoa học viện ngoại tịch viện sĩ; 2005 niên xuất nhậm hương cảng trung văn đại học bác văn giảng tọa giáo thụ; 2011 niên đam nhậm thanh hoa đại học giao xoa tín tức nghiên cứu viện viện trường[3];2015 niên đương tuyển vi hương cảng khoa học viện sang viện viện sĩ[2];2016 niên phóng khí mỹ quốc quốc tịch thành vi trung quốc công dân[5],Chính thức chuyển vi trung quốc khoa học viện viện sĩ[3];2021 niên hoạch ban nhật bổnKinh đô tưởng[24].
Diêu kỳ trí đích nghiên cứu phương hướng bao quát kế toán lý luận cập kỳ tại mật mã học hòa lượng tử kế toán trung đích ứng dụng, tối tiên đề xuất lượng tử thông tín phục tạp tính, đề xuất phân bố thức lượng tử kế toán mô thức, hậu lai thành vi phân bố thức lượng tử toán pháp hòa lượng tử thông tấn hiệp nghị an toàn tính đích cơ sở[6].
- Trung văn danh
- Diêu kỳ trí
- Ngoại văn danh
- Andrew Chi-Chih Yao
- Quốc tịch
- Trung quốc
- Dân tộc
- Hán tộc
- Xuất sinh địa
- Trung quốc thượng hải
- Xuất sinh nhật kỳ
- 1946 niên 12 nguyệt 24 nhật
- Tất nghiệp viện giáo
- Y lợi nặc y đại học,Cáp phật đại học,Đài loan đại học
- Chức nghiệp
- Giáo học khoa nghiên công tác giả
- Chủ yếu thành tựu
- 1998 niên đương tuyển vi mỹ quốc quốc gia khoa học viện viện sĩ
2000 niên hoạch đắc đồ linh tưởng, duy nhất hoa nhân học giả ( tiệt chí 2022 niên )[28]
2000 niên đương tuyển vi mỹ quốc nghệ thuật dữ khoa học viện viện sĩ
2004 niên đương tuyển vi trung quốc khoa học viện ngoại tịch viện sĩ - Chức xưng
- Giáo thụ
- Tổ tịch
- Hồ bắc tỉnh hiếu cảm thị hiếu xương huyện
1946 niên 12 nguyệt 2 sung bảng 4 nhật, diêu kỳ trí xuất sinh vu trung quốc thượng hải, tổ tịch hồ bắc tỉnh hiếu cảm thị hiếu xương huyện.
1967 niên, hoạch đắcĐài loan đại họcVật lý học sĩ học vị, chi hậu phó mỹ lưu học thối hưởng, tiến nhập cáp phật đại học, sư tòngCách lạp tiêu( Sheldon Lee Glashow, 1979 niên nặc bối nhĩ vật lý học tưởng đắc chủ ).
1973 niên, 26 tuế đích diêu kỳ trí phóng khí vật lý học chuyển hướng kế toán cơ kỹ thuật, tịnh tiến nhập y lợi nặc đại học công độc bác sĩ học vị.
1975 niên, hoạch đắc mỹ quốcY lợi nặc y đại họcKế toán cơ khoa học bác sĩ học vị. 9 nguyệt, tiến nhậpMỹ quốc ma tỉnh lý công học việnSổ học hệ, đam nhậm trợ lý giáo thụ.
1976 niên 9 nguyệt, tiến nhập tư thản phúc đại học kế toán cơ hệ, đam nhậm trợ lý giáo thụ.
1981 niên 8 nguyệt, tiến nhậpGia lợi phúc ni á đại học bá khắc lợi phân giáoKế toán cơ hệ, đam nhậm giáo thụ.
1982 niên 10 chủ lam táo nguyệt, đam nhậm tư thản phúc đại học kế toán cơ hệ giáo thụ.
1986 niên 7 nguyệt, tạiPhổ lâm tư đốn đại họcKế toán cơ khoa học hệ đam nhậm Wiliam and Edna Macaleer công trình dữ ứng dụng khoa học giáo thụ.
2000 niên, bị cổ đạt thừa tuyển vi mỹ quốc khoa học dữ nghệ thuật học viện viện sĩ.
2004 niên, đương tuyển viTrung quốc khoa học việnNgoại tịch viện sĩ. Đồng niên, 57 tuế đích diêu kỳ trí từ khứ phổ lâm tư đốn đại học chung thân giáo chức, mại điệu tại mỹ quốc đích phòng tử, chính thức gia minh thanh hoa đại học cao đẳng nghiên cứu trung tâm, đam nhậm toàn chức giáo thụ.
2005 niên 1 nguyệt 20 nhật, diêu kỳ trí xuất nhậmHương cảng trung văn đại họcBác văn giảng tọa giáo thụ, giá thị hương cảng trung văn đại học đặc thiết đích đại học giảng tịch[7].3 nguyệt 16 nhật, hoạch đắc bắc kinhVĩnh cửu cư lưu quyềnĐích “Lục tạp”[8].5 nguyệt 9 nhật, do vi nhuyễn á châu nghiên cứu viện dữ hương cảng trung văn đại học hợp tác cộng kiến đích “Vi nhuyễn - hương cảng trung văn đại học lợi quần kế toán cập giới diện khoa kỹ liên hợp thật nghiệm thất” tại hương cảng trung văn đại học thành lập, diêu kỳ trí đam nhậm liên hợp thật nghiệm thất quốc tế cố vấn ủy viên hội chủ tịch.
2007 niên, diêu kỳ trí sang kiến hương cảng trung văn đại học lý luận kế toán cơ khoa học dữ thông tấn khoa học nghiên cứu sở[9].Đạt hạng 3 nguyệt 29 nhật, lĩnh đạo thành lập thanh hoa đại học lý luận kế toán cơ khoa học nghiên cứu trung tâm[10].4 nguyệt, lý luận kế toán cơ khoa học nghiên cứu trung tâm chủ bạn đệ thập giới quốc tế công thược mật mã học hội nghị, diêu kỳ trí đam nhậm đại hội chủ tịch, giá thị cai hội nghị thủ thứ tại trung quốc triệu khai[11].
2010 niên 6 nguyệt,Thanh hoa đại học - ma tỉnh lý công học viện - hương cảng trung văn đại học lý luận kế toán cơ khoa học nghiên cứu trung tâmChính thức thành lập, diêu kỳ trí đam nhậm chủ nhậm[4].
2011 niên 1 nguyệt, đam nhậm thanh hoa đại học giao hãn đa đính xoa tín tức nghiên cứu viện viện trường.
2016 niên để, nhân dĩ phóng khí ngoại quốc quốc tịch thành vi trung quốc công dân, chính thức chuyển vi trung quốc khoa học viện viện sĩ chương đoan cấm, gia nhập trung quốc khoa học viện tín tức kỹ thuật khoa học bộ[5]Chỉ luyến hôn cổ.
2017 niên 12 nguyệt, nhậmThanh hoa đại học kim dung khoa kỹ nghiên cứu việnQuản ủy hội chủ nhậm[12].
2019 niên 5 nguyệt, xuất nhậm thanh hoa đại học nhân công trí năng học đường ban giáo thụ[13].
2021 niên 6 nguyệt, diêu kỳ trí hoạch ban nhật bổn kinh đô tưởng, dĩ biểu dương tha tại kế toán hòa thông tín phương diện đích tiên khu nghiên cứu cống hiến, tương quan phát hiện đốiTín tức an toàn,Đại sổ cư xử lý đẳng kỹ thuật đích phát triển, điện hạ trọng yếu cơ sở.[24]
2024 niên 4 nguyệt 27 nhật, thanh hoa đại học thành lập nhân công trí năng học viện, diêu kỳ trí đam nhậm thủ nhậm viện trường.[30]
Diêu kỳ trí giáo thụ giảng thoạiDiêu kỳ trí đích nghiên cứu phương hướng bao quát kế toán lý luận cập kỳ tại mật mã học hòa lượng tử kế toán trung đích ứng dụng. Tại tam đại phương diện cụ hữu đột xuất cống hiến: ( 1 ) sang kiến lý luận kế toán cơ khoa học đích trọng yếu thứ lĩnh vực: Thông tấn phục tạp tính hòa ngụy tùy cơ sổ sinh thành kế toán lý luận; ( 2 ) điện định hiện đại mật mã học cơ sở, tại cơ vu phục tạp tính đích mật mã học hòa an toàn hình thức hóa phương pháp phương diện hữu căn bổn tính cống hiến; ( 3 ) giải quyết tuyến lộ phục tạp tính, kế toán kỉ hà, sổ cư kết cấu cập lượng tử kế toán đẳng lĩnh vực đích khai phóng tính vấn đề tịnh kiến lập toàn tân điển phạm[10].
1993 niên, diêu kỳ trí tối tiên đề xuất lượng tử thông tín phục tạp tính, cơ bổn thượng hoàn thành liễu lượng tử kế toán cơ đích lý luận cơ sở. 1995 niên, đề xuất phân bố thức lượng tử kế toán mô thức, hậu lai thành vi phân bố thức lượng tử toán pháp hòa lượng tử thông tấn hiệp nghị an toàn tính đích cơ sở. Nhân vi đối kế toán lý luận bao quát ngụy tùy cơ sổ sinh thành, mật mã học dữ thông tín phục tạp độ đích đột xuất cống hiến, mỹ quốc kế toán cơ hiệp hội ( ACM ) dã bả 2000 niên độ đích đồ linh tưởng thụ dư tha[14].
Nhân vật trứ tác
1 "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
Ôn tổng lý khán vọng diêu kỳ trí2006 niên, thanh hoa kế toán cơ hệ hữu 3 thiên luận văn nhập tuyển lý luận kế toán cơ khoa học lĩnh vực dữ STOC tịnh liệt đích tối đỉnh cấp học thuật hội nghị FOCS, thật hiện liễu quốc nội học giả tại cai hội nghị thượng “Linh đích đột phá”. Đương niên 24 tuế đích bác sĩ sinh trần tịch dữ lai tự hương cảng thành thị đại học đích giảng tịch giáo thụĐặng tiểu thiếtHợp tác giải quyết liễu lý luận kế toán cơ khoa học đích nan đề —— nhị nhân bác dịch trungNạp thập quân hành điểmĐích phục tạp tính vấn đề, tịnh nhân thử hoạch đắc 2006 niên độ FOCS tối giai luận văn tưởng. Giá nhất niên, diêu kỳ trí đích đoàn đội hoàn vi quốc nội kế toán cơ học giả điền bổ liễu tại 《 mỹ quốc khoa học viện viện khan 》 thượng phát văn đích không bạch[10].
2008 niên, diêu kỳ trí giáo thụ sang kiến đích hương cảng trung văn đại học lý luận kế toán cơ khoa học dữ thông tấn khoa học nghiên cứu sở triển khai vi kỳ ngũ thiên đích đông quý khóa trình, tham thảoLý luận kế toán cơ khoa họcĐích lý luận, ứng dụng cập phát triển, cộng hấp dẫn liễu cận 80 danh trung quốc nội địa, hương cảng, đài loan cập ấn độ đích đỉnh tiêm học sinh tham gia. Giảng giả trừ liễu diêu giáo thụ ngoại, canh hữu trung đại công trình học viện đích đa danh tư thâm giáo thụ. Diêu giáo thụ kỳ vọng dĩ trung đại tác vi cơ địa, hấp dẫn thế giới các địa canh đa tri danh đích học giả hòa ưu tú đích học sinh gia nhập trung đại, lệnh trung đại thành vi lý luận kế toán cơ khoa học nghiên cứu đích địa khu trung tâm[9].
Diêu kỳ trí giáo thụ
Diêu kỳ trí giáo thụThời gian | Tưởng hạng / vinh dự |
|---|---|
1987 niên | Ba lí á tưởng ( George Polya Prize ) |
1991 niên | Cổ căn hải mỗ cơ kim hội nghiên cứu học giả tưởng ( Guggenheim Fellowship ) |
1995 niên | Mỹ quốc kế toán cơ hiệp hộiHội sĩ ( Fellow, Association for Computing Machinery ) |
1996 niên | Cao đức nạp tưởng( Donald E. Knuth Prize ) |
1998 niên | Mỹ quốc quốc gia khoa học viện viện sĩ ( Member, US National Academy of Sciences ) |
2000 niên | Mỹ quốc nhân văn khoa học viện viện sĩ ( Fellow, American Academy of Arts and Sciences ) |
2000 niên | Đồ linh tưởng( A.M. Turing Award ) |
2000 niên | |
2003 niên | Phan văn uyênNghiên cứu khảo sát tưởng ( Pan Wen-Yuan Research Award ) |
2003 niên | Hương cảng thành thị đại họcLý học vinh dự bác sĩ ( Doctor of Science, Honoris Causa, City University of Hong Kong ) |
2003 niên | Mỹ quốc khoa học phát triển xúc tiến hội hội sĩ ( Fellow, American Association for the Advancement of Science ) |
2004 niên | Hương cảng khoa kỹ đại họcCông học vinh dự bác sĩ ( Doctor of Engineering, Honoris Causa, HKUST ) |
2004 niên | Trung quốc khoa học việnNgoại tịch viện sĩ ( Foreign Member, Chinese Academy of Sciences ) |
2004 niên | Y lợi nặc y đại họcCông trình học viện đặc thù cống hiến giáo hữu tưởng ( Alumni Award for Distinguished Service, University of Illinois ) |
2006 niên | Hương cảng trung văn đại họcLý học vinh dự bác sĩ ( Doctor of Science, Honoris Causa, the Chinese University of Hong Kong ) |
2009 niên | Hoạt thiết lư đại họcLý học vinh dự bác sĩ ( Doctor of Mathematics, Honoris Causa, University of Waterloo ) |
2010 niên | Quốc tế mật mã nghiên cứu hiệp hội hội sĩ ( Fellow, International Association for Cryptologic Research ) |
2010 niên | 2009 thủ đô thập đại giáo dục tân văn nhân vật[14] |
2012 niên | Úc môn đại họcLý học vinh dự bác sĩ |
2014 niên | Hương cảng lý công đại họcVinh dự bác sĩ |
2015 niên | |
2016 niên | Trung quốc khoa học viện viện sĩ[15] |
2019 niên | Giáo học đại sư tưởng( giáo dục bộ chi trì, trung quốc giáo sư phát triển cơ kim hội phát khởi )[16] |
2019 niên | |
2019 niên | |
2019 niên | Nam kinh thị vinh dự thị dân[18] |
2021 niên | Giang tô tỉnh lao động mô phạm[23] |
2021 niên | Kinh đô tưởng ( tiên tiến khoa kỹ )[24] |
- Tác giả danh xưngDiêu kỳ tríTác phẩm thời gian2022-8
Tham khảo tư liêu[27]
Thời gian | Đam nhậm chức vụ | Tham khảo tư liêu |
|---|---|---|
2005 niên 5 nguyệt | Vi nhuyễn - hương cảng trung văn đại học lợi quần kế toán cập giới diện khoa kỹ liên hợp thật nghiệm thất quốc tế cố vấn ủy viên hội chủ tịch | |
2007 niên 4 nguyệt | Đệ thập giới “Quốc tế công thược mật mã học hội nghị” đại hội chủ tịch | [11] |
2017 niên 11 nguyệt | Khoáng thị học thuật ủy viên hội thủ tịch cố vấn | [19] |
2020 niên 8 nguyệt | Đồng tế đại họcDanh dự giáo thụ | [20] |
Hồ bắc công trình học việnDanh dự giáo thụ | ||
Tiểu mã trí hành thủ tịch cố vấn | [26] |
Diêu kỳ trí viTrung quốc hương cảngTịch[21].Diêu kỳ trí đích phu nhân trữ phong giáo thụ tảo tại 2003 niên tòng mỹ quốc khứ hương cảng thành thị đại học đam nhậm kế toán cơ khoa học hệ hệ chủ nhậm[6].
Diêu kỳ trí tiên sinh:
Nhĩ hảo! Lai tín thu tất. Nhĩ hồi quốc nhậm giáo nhị thập niên lai, tương ái quốc chi tình hóa vi báo quốc chi hành, tại thanh hoa đại học tiềm tâm canh vân, mặc mặc phụng hiến, giáo thư dục nhân, khoa nghiên sang tân đô thủ đắc liễu phong thạc thành quả, hướng nhĩ biểu kỳ thành chí vấn hầu.
Hi vọng nhĩ kiên thủ sơ tâm sử mệnh, phát huy tự thân ưu thế, đái lĩnh đại gia kế tục tham tác sang tân nhân tài tự chủ bồi dưỡng mô thức, thôi động học khoa giao xoa dữ tiền duyên sang tân, đả tạo cao thủy bình đích nhân tài bồi dưỡng hòa khoa kỹ sang tân cơ địa, vi thật hiện cao thủy bình khoa kỹ tự lập tự cường, kiến thiết giáo dục cường quốc khoa kỹ cường quốc tác xuất tân đích cống hiến.
Chúc thân thể kiện khang, công tác du khoái, hạp gia hạnh phúc!
Tập cận bình
2024 niên 6 nguyệt 11 nhật ( hoàn )[31]
Diêu kỳ tríQuá khứ tiếp cận bán thế kỷ, diêu giáo thụ sang kiến liễu đa cá kế toán cập thông tín mô hình, nghiên cứu thành quả đối kế toán cơ khoa học đích bất đồng lĩnh vực, bao quát an toàn, ẩn tư, bình hành vận toán, đại sổ cư xử lý, dĩ chí lượng tử vận toán đẳng tiêm đoan kỹ thuật, đái lai thâm viễn ảnh hưởng[24].( hương cảng trung văn đại học bình )
