分享到微博 分享到人人 分享到LinkedIn 分享到Email
第十三届“二十一世纪的计算”大会演讲视频

 

由微软亚洲研究院和清华大学联合举办的第十三届“二十一世纪的计算”大型国际学术研讨会于2011年10月26日在清华大学隆重举行。本届“二十一世纪的计算”大会以“计算之源 绽放万千创想”(Fundamental Research – Computing in the 21st Century)为主题,探讨计算科学基础研究在21世纪快速发展过程所发挥的重要作用。演讲者包括历年图灵奖(计算机界的“诺贝尔奖”)得主Edmund M. Clarke教授、首位华裔图灵奖获得者姚期智教授、Emmanuel Candes教授、Joseph Halpern教授以及微软公司全球高级副总裁Rick Rashid博士、微软亚洲研究院院长洪小文博士。

大会官方网站http://www.msra.cn/zh-cn/um/events/21ccc/2011/

 

Microsoft Research: Turning ideas into reality for 20 years

Rick Rashid 博士
微软公司全球首席研究官
美国工程院 (NAE) 院士

 

 

Model Checking and the Curse of Dimensionality

Edmund M. Clarke 教授
卡耐基梅隆大学计算机科学学院FORE荣誉教授,电气和计算机工程教授
2007图灵奖获得者

 

 

Compressive Sensing

Emmanuel Candes 教授
斯坦福大学数学、统计学教授及电子工程荣誉教授

 

 

Quantum Computing: A Great Science in the Making

姚期智 教授
清华大学交叉信息研究院院长
2000年图灵奖获得者
美国科学院 (NAS) 及美国艺术与科学学院 (AAAS) 院士

 

 

Beyond Nash Equilibrium: Solution Concepts for the 21st Century

Joseph Halpern 教授
康奈尔大学计算机科学系主任、教授
美国人工智能协会 (AAAI) 美国计算机学会(ACM) 及美国科学发展协会 (AAAS) 院士

 

Extracting Models from Data

洪小文 博士
微软亚洲研究院院长
电气电子工程师学会 (IEEE) 院士