12月11日下午，学校与科大国创软件股份有限公司共建“中国科大-国创高可信软件工程中心”合作协议签约暨中心揭牌仪式在218楼会议室举行。侯建国校长出席仪式，先进技术研究院副院长刘文、科大国创公司董永东董事长及高管团队一行、计算机学院高可信软件团队参加签约仪式。仪式由计算机科学与技术学院许胤龙副院长主持。

高可信软件的开发及其认证评测属国家战略性新兴产业，它们所依赖的高可信软件开发技术需要经过长期研究的积累。计算机学院冯新宇教授团队的研究已达国际一流水平，具有理论和技术上的优势。在继续通过“中科大－耶鲁高可信软件联合研究中心”开展高水平合作研究的同时，希望通过与科大国创公司的合作，逐步研发出有市场前景的高可信软件开发方法、技术和工具等。

侯校长在签约仪式上介绍了科大先进技术研究院的创办、建设和发展前景，欢迎国创公司选择先进技术研究院这个平台与计算机学院开展合作，希望这项合作能研发出有市场前景的成果，并走向航空、航天、国防、能源、通信和交通等关键领域，提高这些领域的软件可靠性和安全性，为国家、社会和人民生命财产安全和信息安全服务。

董永东董事长回顾了科大国创在学校及计算机科学与技术学院支持下的发展历程，介绍了科大国创面向大型行业进行信息化建设与咨询、应用软件开发与服务等公司业务情况和发展前景，并表达了做好这项合作和开展更多合作的决心。

工程中心团队冯新宇教授介绍了中心筹备情况和未来发展设想。他表示，开发高可信、零缺陷的软件是整个软件行业的最高理想，也是团队长期追求的目标。虽然在前期的研究中取得了大量先进成果，但团队缺乏将科研工作产业化的能力。通过学校和国创公司的这项合作，新组建的工程中心将深入了解业界需求，通过集聚人才和积累技术，实现三步走的目标：成果产业化、建成国家级工程中心和把成果推向世界。

（计算机学院）