编者按：研发出可靠的软件是软件业界的核心目标之一，也是软件工程师的终级目标。8月23-31日，可验证软件领域的世界顶尖专家、研究员及学生代表们齐聚上海，参加由微软亚洲研究院和华东师范大学联合举办的第二届可验证软件研讨会暨暑期学校，对如何研发可靠软件等问题展开讨论。微软研究院图灵奖获得者Tony Hoare教授作为研讨会联合主席，与华东师范大学何积丰教授一起发表了主题演讲。 

由微软亚洲研究院联合华东师范大学举办的第二届可验证软件研讨会和暑期学校为业界提供了互相学习交流和推进软件水平发展的机会。在微软雷德蒙研究院，剑桥研究院和印度研究院的大力支持下，有将近265位来自全球13个国家的73所高等院校的师生来到了中国上海，参加这次从8月23日到8月31日的研讨会和暑期学校，并且探讨了可验证软件研究的新方向和新契机。

来自亚洲，欧洲和美国的近25位世界知名的科学家为大家做了精彩的演讲，主题涵盖了可验证的理论，实践和工具。其中，1980年图灵奖获得者，微软剑桥研究院首席研究员Tony Hoare教授和华东师范大学教授，中国科学院院士何积丰教授分别做了题为“Theory for Verified Software”和“Linking the Discrete World with Continuous World”的开场演说。

作为研讨会联合主席，Tony Hoare教授和何积丰教授都对这次研讨会的意义做了评价。

Tony Hoare教授说道，“我希望尽力扩大学术研究成果的产业化机会，同时，我也鼓励下一代的学术研究员能够继续深入研究。”

何积丰教授说道，“总体来说，我们在可验证软件领域已经取得了很多成果但是这远远不够。我们希望我们的年轻学者和研究员能够借这次机会充分地进行交流，能够有所激励和收获。”

本次为期一周的活动被分为两部分。8月23日到24日的研讨会在华东师范大学举行。多位世界著名的技术专家和学者给与会者带来了激动人心的讲座。这次综合性的研讨会包括了广泛而热门的主题例如检测并行故障，常用的模型检测以及混合系统的建模和验证等。

第二部分是8月27日到31日的为期五天的紧张而又充实的暑期学校。除了通过讲座形式向学员深入讲解并行代数，分离逻辑，混合系统的一种逻辑分析方法等专业知识，微软亚洲研究院和华东师范大学还设立了循序渐进的工具学习环节和实验环节，使学员能够身历其境的进行深入学习并且获得宝贵的实践经验。

一位学员这样说道：“我从这次活动中受益匪浅。我不仅了解了前沿的研究方法和工具，而且有机会和世界各地其他具有创新性的志同道合的人，学术导师们一起交流思想。这种机会非常珍贵！”

这次活动是微软对业界承诺的兑现，也显示出微软在开发可靠性软件方面的领导力。在本次探讨会和暑期学校过程中，碰撞出了很多思维的火花，产生了一些研究的新思路和方向。

微软亚洲研究院副院长宋罗兰女士说“我们举办这次活动，意在推动软件业的发展。同时也为业界学者，研究员提供一个交流的平台。我们希望通过这次活动能够提拔和培养出一批顶尖人才，并且为工具的产业化使用建立一批有经验的用户群体。同时，对协助我们成功举办这次活动的微软剑桥研究院，雷德蒙研究院和印度研究院的同事表示衷心的感谢。”

相关阅读：

微软研究院亮相北京国际天文学联合会大会

CHI 2012：自然人机交互技术大放异彩

大数据的美丽绽放——2012编程之美全国挑战赛圆满落幕

___________________________________________________________________________________

欢迎关注

微软亚洲研究院人人网主页：http://page.renren.com/600674137

微软亚洲研究院微博：http://t.sina.com.cn/msra