长期从事计算机科学和量子信息科学研究。在三大方面做出突出贡献:
(1)创建理论计算机科学的重要次领域:通讯复杂性和伪随机数生成计算理论。
(2)奠定现代密码学基础,在基于复杂性的密码学和安全形式化方法方面有根本性贡献。
(3)解决线路复杂性、计算几何、数据结构及量子计算等领域的开放性问题并建立全新典范。
2000年获得计算机科学领域最高奖图灵奖。
入选美国科学院外籍院士、美国科学与艺术学院外籍院士及国际密码协会会士。
长期从事计算机科学和量子信息科学研究。在三大方面做出突出贡献:
(1)创建理论计算机科学的重要次领域:通讯复杂性和伪随机数生成计算理论。
(2)奠定现代密码学基础,在基于复杂性的密码学和安全形式化方法方面有根本性贡献。
(3)解决线路复杂性、计算几何、数据结构及量子计算等领域的开放性问题并建立全新典范。
2000年获得计算机科学领域最高奖图灵奖。
入选美国科学院外籍院士、美国科学与艺术学院外籍院士及国际密码协会会士。