我校联合申报国家重点研发计划重点专项获批立项

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

本项目由中国科学院软件研究所、北京大学、北京航空航天大学、中国空气动力研究与发展中心、中国人民解放军国防科技大学和我校共六家单位联合申报。项目共分为4个课题，杨雷团队参与课题四“安全攸关系统软件框架验证的示范应用研究”的相关研究工作。

杨雷副教授长期从事软件体系研究，先后承担了国家重点基础研究发展计划（973计划）子课题、国家数值风洞工程子课题，军工项目多项、一般横向项目多项；带领的团队先后在开源社区发布了前端开发框架NODOM、服务端框架NOOMI、ORM框架RELAEN，是国内唯一开源发布JS全栈开发框架的团队，软件下载安装量累计超过20000次。此次与国内顶级科研机构和高校联合申报并承担国家重点研发计划任务，是在前期基础框架研究成果的基础上促成，是我校计算机科学与技术学院首次联合承担国家重点研发计划重点专项项目，也是科研团队建设的重要成果，为我校学科建设和高质量发展提供有力支撑。

（王丽明  编辑）（计算机科学与技术学院  供稿）