3月28日，软件学院与望安科技合作共建的北京航空航天大学-望安科技安全关键软件形式化验证联合实验室在北航正式揭牌。望安科技创始人赵永望、总经理陈建明和软件学院胡春明院长、葛宁教授出席仪式。双方将建立产学研用深度融合机制，依托形式化验证技术，探索关键软件领域的高安全等级应用，为我国关键软件产业高质量发展注入新动能。

关键软件作为数字经济时代关乎国计民生的核心基础设施，已深度融入航空航天、轨道交通等重大领域。作为国内形式化验证技术的领跑者，望安科技已成功护航包括高速飞车系统、航天器系统、军用软件等产品在内的关键软硬件的安全。学院以此与望安科技的合作，将为安全关键软件形式化验证领域的发展带来新的契机。

校企合作双方将致力于构建人才培养体系，重点培养具有责任担当、多学科知识与国际视野的复合型科技领军人才。同时建立合作共赢机制，促进双方在采用国产形式化验证工具软件支持航空航天相关领域的研究工作，推动技术成果向航空航天等关键领域转化应用。未来，联合实验室有望成为安全关键软件形式化验证领域的重要创新中心和人才培养基地，在行业内发挥引领示范作用，为数字经济安全发展构筑坚实技术屏障。