姚期智(1946年12月24日 - ),中国科学院院士,在计算理论方面做出了基础性贡献,包括基于复杂性的伪随机数生成理论、密码学和通信复杂性,是图灵奖设立以来首位获奖的亚裔学者,也是迄今为止获此殊荣的唯一华裔计算机科学家。
姚期智祖籍湖北孝感,1946年12月24日出生在上海。幼年随父母移居台湾,学生时期成绩一直名列前茅,高中三年级偶然发现了亚瑟·爱丁顿爵士关于相对论的笔记副本,其中给出了对相对论生动、简单的指导。
1967年,获得台湾国立大学物理学学士学位。
1969年,获得哈佛大学物理学硕士学位,后在诺贝尔物理学奖得主谢尔顿·格拉肖的指导下,于1972年获得博士学位。
1975年9月至1976年8月,任麻省理工学院数学系助理教授。
1976年9月至1981年8月,任斯坦福大学计算机科学系助理教授。
1981年9月至1982年9月,任加州大学伯克利分校计算机科学系教授。
1982年10月至1986年6月,任斯坦福大学计算机科学系教授
1986年7月至2004年6月,任普林斯顿大学威廉与埃德娜·麦卡利尔工程与应用科学教授
2004年9月至今,任清华大学告诫研究中心教授。
他在1977年发表的论文《概率计算:迈向统一复杂度度量》中引入了现在被称为姚最小极大原理的理论,该理论利用博弈论中冯·诺伊曼的极小极大定理,将确定性算法的平均情况复杂度于随机算法的最坏情况复杂度联系起来。他证明了任何随机算法在最坏情况输入上的期望运行时间等于任何确定性算法对最坏情况输入分布的平均运行时间,这个定理已经成为推理随机算法复杂性的基础,也被应用于属性测试和学习理论等领域。
1981年,他与丹尼·多列夫「Danny Dolev」发表论文《论公钥协议的安全》,提出了关于安全协议符号推理的形式模型。「Dolev-Yao」模型已成为符号安全领域大多数工作的起点,他还对密码学和基于复杂性的安全方法做出了重要贡献。
2000年,获得图灵奖。
2014年,姚期智放弃美国国籍,成为中国公民,正式成为清华大学全职教授。他的回国,填补了中国国内计算机科学的空白,对计算机产业界发展具有指导意义。清华大学计算机学科由此第一次集齐了理论、应用、系统结构和软件四大领域学者。
2015年,当选为香港科学院创院院士。2016年,转为为中国科学院院士。2024年4月,任清华大学人工智能学院院长。
参考资料
- https://baike.baidu.com/item/%E5%A7%9A%E6%9C%9F%E6%99%BA/10170340?structureClickId=10170340&structureId=ced913fd22dfe016c93805da&structureItemId=adba7610f0390e09361bed15&lemmaFrom=starMapContent_star&fromModule=starMap_content&lemmaIdFrom=324645
- https://amturing.acm.org/award_winners/yao_1611524.cfm
- https://www.britannica.com/biography/Andrew-Chi-Chih-Yao
