立项经费240万 西南科大申报国家重点研发计划重点专项获批

日前，在科技部公布的“十四五”国家重点研发计划重点专项“数学和应用研究”项目中，西南科技大学作为参与单位联合申报的项目《安全攸关软件框架验证的数学方法与应用》顺利通过评审并获批立项，项目总经费1490万元。西南科技大学作为子课题承担单位之一，立项总经费240万元。

本项目由中国科学院软件研究所、北京大学、北京航空航天大学、中国空气动力研究与发展中心、国防科技大学和西南科技大学共六家单位联合申报。西南科大计算机科学与技术学院杨雷副教授领衔的研究团队参与课题“安全攸关系统软件框架验证的示范应用研究”的相关研究工作。

据介绍，杨雷副教授长期从事软件体系研究，先后承担了国家重点基础研究发展计划子课题、国家数值风洞工程子课题，军工项目多项、一般横向项目多项；带领的团队先后在开源社区发布了前端开发框架NODOM、服务端框架NOOMI、ORM框架RELAEN，是国内唯一开源发布JS全栈开发框架的团队，软件下载安装量累计超过20000次。

绵阳广播电视台融媒体中心

记者：王海波

责编：王跃璇

通讯员：乔虹