因在计算理论方面做出独特贡献，2000年获得图灵奖的“华人之光”姚期智博士，是迄今为止65位图灵奖获得者中唯一的亚裔学者，也是世界现代密码学基础的奠基人之一，他的研究涵盖了基于复杂性的伪随机数生成理论、密码学、通信复杂性等领域。13年前，他毅然放弃了美国名校的终身教职，回到祖国，倾注所有精力，为中国创建世界一流计算机学科，培养拔尖创新人才。

莱斯利·兰伯特（Leslie Lamport）

2013年获得图灵奖

Leslie Lamport（曾于2015年出席大会）

2013年，微软研究院首席研究员莱斯利·兰伯特（Leslie Lamport），因在提升计算机系统的可靠性及稳定性领域的杰出贡献荣获图灵奖。他的分布式计算理论奠定了这门学科的基础，并被称为“分布式计算原理之父”，他在1978年发表的论文《分布式系统内的时间、时钟事件顺序》成为计算机科学史上被引用最多的文献。

第十七届“二十一世纪的计算”大会上Leslie Lamport的主题演讲

近20年来，“二十一世纪的计算”学术研讨会上一直活跃着图灵奖大师们的身影，激荡着关于计算机前沿课题的探讨与思索。 “二十一世纪的计算”大会以其前瞻性、开放性、包容性、创新性，打开了一扇扇国内外学术交流的窗口，推动着计算机基础科学的研究和发展。

今年的“二十一世纪的计算”大会又将来到哪所高校，邀请哪些计算大师，探讨哪些前沿研究话题？密切关注微软研究院AI头条，第一时间获取大会信息和动态！

点击“阅读原文”，观看更多“二十一世纪的计算”大会精彩演讲视频

●注：以上图片来自图灵奖官方网站

人工智能是人类的帮手、朋友还是敌人？人工智能和人类智能究竟有什么区别？人工智能会对我们的日常生活产生怎样的影响？人工智能浪潮会冲击到哪些行业和领域？《 杨澜访谈录 》历时一年，探秘包括微软研究院在内的30多个人工智能研究机构，采访了80多位行业专家与学者，精心制作的十集纪录片《探寻人工智能》将于今晚（5月15日）首播。想要了解更多人工智能的前沿观点？锁定今晚22:30江苏卫视！

　　你也许还想看：

　　感谢你关注“微软研究院AI头条”，我们期待你的留言和投稿，共建交流平台。来稿请寄：[email protected]。微软小冰进驻微软研究院微信啦！快去主页和她聊聊天吧。