日前，在科技部公佈的“十四五”國家重點研發計劃重點專項“數學和應用研究”專案中，西南科技大學作為參與單位聯合申報的專案《安全攸關軟體框架驗證的數學方法與應用》順利透過評審並獲批立項，專案總經費1490萬元。西南科技大學作為子課題承擔單位之一，立項總經費240萬元。

本專案由中國科學院軟體研究所、北京大學、北京航空航天大學、中國空氣動力研究與發展中心、國防科技大學和西南科技大學共六家單位聯合申報。西南科大計算機科學與技術學院楊雷副教授領銜的研究團隊參與課題“安全攸關係統軟體框架驗證的示範應用研究”的相關研究工作。

據介紹，楊雷副教授長期從事軟體體系研究，先後承擔了國家重點基礎研究發展計劃子課題、國家數值風洞工程子課題，軍工專案多項、一般橫向專案多項；帶領的團隊先後在開源社群釋出了前端開發框架NODOM、服務端框架NOOMI、ORM框架RELAEN，是國內唯一開源釋出JS全棧開發框架的團隊，軟體下載安裝量累計超過20000次。

綿陽廣播電視臺融媒體中心

記者：王海波

責編：王躍璇

通訊員：喬虹

【來源：綿州先鋒】

宣告：轉載此文是出於傳遞更多資訊之目的，若有來源標註錯誤或侵犯了您的合法權益，請作者持權屬證明發至郵箱newmedia@xxcb。cn，我們將及時更正、刪除。內容諮詢及合作：19176699651；yuanshipeng@xxcb。cn。