tft每日頭條

 > 生活

 > 西南交大科技成果轉化

西南交大科技成果轉化

生活 更新时间:2025-01-31 10:28:06

王會傑 封面新聞記者劉彥谷

7月11日,西南交通大學“系統可信性自動驗證地方聯合工程實驗室”在廣元成立川信分中心。

西南交大科技成果轉化(西南交大聯合工程實驗室在四川廣元成立分中心)1

雙方代表簽約

成立儀式上,西南交通大學系統可信性自動驗證國家地方聯合工程實驗室首席專家徐楊、數學學院院長楊晗與四川信息職業技術學院簽訂系統可信性自動驗證地方聯合工程實驗室川信分中心合作協議,并為其授牌。

據介紹,系統可信性自動驗證國家地方聯合工程實驗室于2016年10月獲國家發改委批準建設,是在四川省系統可信性自動驗證工程實驗室(由四川省發改委于2014年批準成立)的基礎上升格而成。實驗室圍繞信息安全的重大需求,在原創的自動推理體系為核心基礎的支撐下,形成科學有效的系統可信性自動驗證技術。

西南交大科技成果轉化(西南交大聯合工程實驗室在四川廣元成立分中心)2

授牌

簽約雙方表示,今後将開展軟件可信性自動驗證工具的推廣、科技項目申報、人工智能及大數據專業建設等具體合作方向,明确了聯合工程實驗室川信分中心後續重點工作。期間,與會人員還參觀了該校人工智能實訓室、5G實訓室和物聯網實訓室等學生教學實訓場地。

【如果您有新聞線索,歡迎向我們報料,一經采納有費用酬謝。報料ihxdsb,3386405712】

,

更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!

查看全部

相关生活资讯推荐

热门生活资讯推荐

网友关注

Copyright 2023-2025 - www.tftnews.com All Rights Reserved