“21世纪的计算”大会

　　“二十一世纪的计算”学术研讨会是微软亚洲研究院自成立之初便开始举办的年度学术盛会。作为中国及亚太地区规模最大、最具影响力的计算机科学教育与研究盛会之一，j2直播，迄今为止该大会已在中国、日本、韩国、新加坡等多个国家和地区成功举办了17届，参会人数累计超过40,000人。

　　11月3日，以“Human and Machine Working as a Team”（人机协作）为主题的第18届“二十一世纪的计算”学术研讨会于韩国首尔举行，包括2002年图灵奖获得者Adi Shamir、微软全球资深副总裁Peter Lee、微软全球资深副总裁，微软亚太研发集团主席兼微软亚洲研究院院长洪小文博士在内的众多计算机领域顶级大师，分享了他们各自独特且深远的见解。

　　以下这位演讲嘉宾，Fred Schneider，是康奈尔大学Samuel B. Eckert讲席教授兼计算机系主席，美国计算机协会（ACM）、电气电子工程师学会（IEEE）院士。为大家担任现场点评的是微软亚洲研究院首席研究员刘铁岩博士。其他演讲亦将陆续发布，敬请期待。

演讲者简介

Fred B. Schneider是康奈尔大学计算机科学系系主任及Samuel B. Eckert讲席教授。他的研究集中在可信系统的各个方面 - 系统如何在面临运行障碍和攻击的背景下按照预期执行。他早期的工作涉及到有关满可信计算规范的并发和分布式系统的设计与执行。他是这个主题下的两篇论文的作者：《并发编程》以及（与D. Gries合作完成的）《离散数学的逻辑方法》。他也以构建容错分布式系统的理论和算法研究而闻名。最近，他的兴趣转向系统安全领域，有关基于防御措施下的政策研究的论著被广泛引用，这一著作也被视为推进有关计算安全的新兴科学发展的基础。他还参与了提高系统可信度的法律和经济措施方面的研究。

　　Schneider分别是美国科学进步协会（1992年），美国计算机协会（1995年）和电气电子工程师协会（2008年）的院士。他于1996年在特罗姆瑟大学（挪威）被任命为普通大学教授，并于2003年获得了纽卡斯尔大学颁发的荣誉学博士学位，因为他在计算机可靠性和安全性方面的贡献，他获得了2012年电气电子工程师协会Emanuel R. Piore奖，该奖项旨在鼓励“通过安全，容错和并发和分布式系统的方式为可信计算做出贡献”。美国国家工程院在2012年任命Schneider为院士，挪威科学院在2010年任命他为外籍院士。

点评人简介

刘铁岩博士，微软亚洲研究院首席研究员，美国卡内基梅隆大学（CMU）客座教授、英国诺丁汉大学荣誉教授、中国科技大学、中山大学、南开大学博士生导师。刘博士的研究兴趣包括：人工智能、机器学习、信息检索、数据挖掘等。他的先锋性工作促进了机器学习与信息检索之间的融合，被国际学术界公认为“排序学习”领域的代表人物，他在该领域的学术论文已被引用万余次，并受Springer出版社之邀撰写了该领域的首部学术专著（并成为Springer计算机领域华人作者的十大畅销书之一）。

近年来，刘博士在博弈机器学习、深度学习、分布式机器学习等方面也颇有建树，他的研究工作多次获得最佳论文奖、最高引用论文奖、研究突破奖，被广泛应用在微软的产品和在线服务中，并通过DMTK、Graph Engine等项目开源。他曾受邀担任了包括SIGIR、WWW、NIPS、KDD、AAAI、WINE等在内的十余个顶级国际会议的组委会主席、程序委员会主席或领域主席；以及若干顶级国际期刊的副主编。他是美国计算机学会（ACM）杰出科学家、国际电子电气工程师学会（IEEE）和中国计算机学会（CCF）的高级会员，中国计算机学会的杰出演讲者和学术工委。

　　微软亚洲研究院：现在登台的是Fred Schneider教授。Fred教授的演讲标题是A Science of Security?

　　刘铁岩：Fred B. Schneider教授开讲“计算机安全”科学。Security是一个很重要的课题，但Security到底是工程学科还是一门科学，如何用科学的视角（定律）来重新界定Security的攻击、防御和策略，都是仍在讨论的题目。