2017年8月11日，中国科学院院士、北京理工大学副校长、北京大学高可信软件技术教育部重点实验室主任梅宏教授率队一行莅临成都，考察了崇州北大--绿欣高可信基础软件联合创新实验室落成和运营情况，并与成都市市委副书记、市长罗强进行了会谈。双方领导对于今年4月以来，崇州市与北大高可信软件技术重点实验室的合作项目建设进展及应用成果给予高度评价。罗强市长表示“要积极推动崇州综合治理服务平台在成都市的全面推广，提升政府治理体系的现代化”。梅宏院士希望“通过这个项目实践和推广，推动产学研用的合作优势，在国务院全面推进‘放管服’的改革中，为国家做点事情”。
罗强市长（左三）与梅宏院士（左四）出席见证签约仪式
会谈结束后，双方领导共同见证高可信软件技术教育部重点实验室、北大科技园与崇州市人民政府共建“成都大数据基地”战略合作签约仪式。崇州市市长欧昭、北京大学信息科学技术学院副院长谢冰、北大科技园总裁陈庚、绿欣科技发展（北京）公司董事长林隼代表各方签约，北京大学软件与微电子学院党委书记陈向群、成都市市长助理韩春林、崇州市委书记赵浩宇等领导一同出席。
梅宏院士一行考察崇州高可信实验室建设运行情况
北大科技园将以高可信软件技术重点实验室的落地运营产业化为契机，进一步落实服务国家战略和地方经济发展，服务于北大科技成果的孵化、转化和产业化，服务于北京大学科研和人才培养的核心使命。
高可信软件技术教育部重点实验室
据高可信软件技术教育部重点实验室官方网站介绍，该实验室依托北京大学，由信息科学技术学院具体承建，是“计算机软件与理论”全国重点学科的主要支撑。教育部于2007年2月批复实验室建设，2011年11月评估为优秀实验室。
重点实验室以应用基础研究，旨在针对当前软件技术向网络化、服务化和高可信发展所面临的重大技术挑战，结合国家信息化建设和重大工程应用对可信软件的战略需求，在高可信软件技术研究与应用、本领域高层次人才培养方面形成特色和优势，为促进中国软件产业的跨越式发展做出贡献。
几年来，实验室围绕什么是可信性及可信软件、如何构造高可信的软件产品、如何有效支撑软件可信运行、以及如何度量和验证软件产品的可信性等核心问题展开研究，在承担与完成国家重要科研任务包括973计划课题、863计划课题、自然科学基金项目、支撑计划项目、核高基子课题等，对我国软件工程的发展和软件产业的发展做出了突出贡献，产生了很好的社会经济效益。实验室与美国、欧洲、日本、新加坡、中国香港、中国澳门等地的十余所大学建立了互访机制，与IBM、SMU、Avaya等国际知名企业和大学签署合作协议
发展原创科技，建设精品园区！长按下图中二维码然后选择"识别图中二维码"即可添加【北大孵化器】微信公众号。
