由微软亚洲研究院举办的2009可验证软件研讨会于10月17日在京隆重召开，以探讨计算机软件验证这一关乎彻底解决计算机软件安全问题，被业界称作计算机产业“大挑战”的严峻课题。来自海内外的众多知名学者和顶尖计算机专家出席并发表主题演讲，其中包括可验证软件理论泰斗、图灵奖获得者、微软剑桥研究院首席研究员托尼·霍尔（Tony Hoare）爵士，以及中国科学院院士何积丰、李未、周巢尘、林惠民等。此次为期四天的研讨会是近年来该领域全球顶级专家首度聚首中国，为加强中国研究人员与世界领先研究团队在软件验证领域的交流、提升中国软件产业的科研水平提供了绝佳的平台。
图灵奖获得者、微软剑桥研究院首席研究员托尼·霍尔爵士演讲中
中国科学院院士何积丰演讲中
“创建一个安全可靠的软件环境是软件工程的最终目标，也是信息化社会的迫切需求”，微软亚洲研究院宋罗兰副院长指出：“近年来，业界在软件验证领域取得了长足的进步，但是离完全攻克这一‘大挑战’还有很长的路要走。微软亚洲研究院希望通过本次可验证软件研讨会，汇集国内外的顶尖学者、专家，在评估和探讨可验证软件现状的同时，加强各方的交流合作，从而推动全球、特别是中国本地软件产业的健康发展。”
对于中国可信赖软件的发展，中国科学院的何积丰院士认为，“可信赖计算在中国的发展不仅是中国计算机产业走向核心技术领域的一个重大发展机遇，而且关乎中国企业和消费者的最终利益。促进可信赖计算的发展、打造安全可靠的计算环境要求打通产、学、研之间以及各国之间的一切壁垒，促进业内同行实质性的合作交流。软件验证是打造可信赖软件的关键所在，相信此次研讨会富有成效的探讨会令中国软件研究人员获益匪浅。”
本次研讨会为期四天，分为两个部分。前两天由世界顶尖学者、专家发表演讲，介绍近年来软件验证诸多研究领域的最新进展，演讲主题涵盖验证理论、产业实践和验证工具等方面。后两天由国内外主要研究人员分享他们的研究成果并探讨这一领域出现的新的机遇和发展方向。
网友评论