12月22日上午，首都师范大学信息工程学院--望安科技可信软件实践基地签约仪式在首都师范大学举行。信息工程学院党委书记师怡爽、院长施智平，浙江望安科技有限公司董事长赵永望、总经理陈建明等出席了活动。

施智平院长代表首都师范大学信息工程学院热烈欢迎望安科技一行。他介绍了信息工程学院的发展历程、师资队伍、人才培养、科学研究等情况。他表示，信息工程学院聚集了一批优秀的师资，也培养了大量高素质的学生，尤其注重对学生实践能力的培养，鼓励师生从工程实践中寻找并解决真实的科学问题和技术难题。希望以此次签约为契机，双方优势互补，在人才培养、科学研究等方面深化产教融合和校企合作，构建起更加稳固、可持续的交流合作平台，为培养可信软件专门人才做出贡献。他祝愿在双方的共同努力下，学院与望安科技的合作取得丰硕成果，成为校企合作的典范。

随后赵永望董事长对公司的基本情况、发展历程、行业赛道作了详细介绍。他强调，与首都师范大学合作是公司人才战略的重要举措，此次“可信软件实践基地”的成立，有利于进一步加强校企合作深度，打造资源共享、协同创新的交流合作平台，实现互利共赢、共同发展。他希望能与首都师大的师生共同促进形式化验证、安全验证技术在我国相关行业的实质性落地应用。

望安科技有限公司：

浙江望安科技有限公司是以“形式化验证”为核心技术的网络与信息安全产品和服务提供商。公司作为国内“形式化验证”领域和“CC 高等级认证”领域的推动者，一直致力于为国内重大项目、关键系统和行业企业提供安全认证保障，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。望安科技依托形式化验证核心技术，参与了多项国家/行业标准建设，拥有多项形式化技术专利、软著，自研多款形式化工具，形式化解决方案应用于多项重大安全项目，为关键系统提供安全保障。核心技术已应用于 载人航天工程、中航工业集团、航天科技集团、元心科技、中科海微、中国移动、小米科技等，已覆盖相对广泛的合作领域和企业。 望安科技已在浙江股权交易中心的科创人才板挂牌，获得了国家高新技术企业、浙江省创新型中小企业、浙江省绍兴市“海内外英才计划”等资质；是浙江省“尖兵”研发攻关计划承担单位、多项EAL信息安全评估和汽车软件标准起草单位。

施智平院长与陈建明总经理代表双方签署了校企合作协议。师怡爽书记等共同为“可信软件实践基地”揭牌。

最后，与会双方代表纷纷发言，表达了对实践基地成功签约的祝贺，以及对双方合作、互利共赢的祝福。此次与望安科技公司签署可信软件实践基地合作协议标志着学院在推进校企科技合作的道路上开启了新的篇章。

图 可信软件基地签约仪式

图 可信软件基地揭牌仪式