视频
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) 院士