日前，在科技部公布的“十四五”国家重点研发计划重点专项“数学和应用研究”项目中，我校作为参与单位联合申报的项目《安全攸关软件框架验证的数学方法与应用》（2022YFA1005100）顺利通过评审并获批立项，项目总经费1490万元。我校为6个子课题承担单位之一，beat365官方网站杨雷副教授领衔的研究团队承担了1个子课题任务，立项总经费240万元。

本项目由中国科学院软件研究所、北京大学、北京航空航天大学、中国空气动力研究与发展中心、中国人民解放军国防科技大学和我校共6家单位共同申报，六家单位经费分配基本相等。

此次与国内顶级科研机构和高校联合申报并承担国家重点研发计划任务，是我校教师科研能力的展现，也是科研团队建设的重要成果，为我校学科建设和高质量发展提供有力支撑。