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

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

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

浙江望安科技有限公司是以“形式化验证”为核心技术的网络与信息安全产品和服务提供商。公司作为国内“形式化验证”领域和“CC 高等级认证”领域的推动者，一直致力于为国内重大项目、关键系统和行业企业提供安全认证保障，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。

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

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