西南交大科技成果转化（西南交大联合工程实验室在四川广元成立分中心）

王会杰 封面新闻记者刘彦谷

7月11日，西南交通大学“系统可信性自动验证地方联合工程实验室”在广元成立川信分中心。

双方代表签约

成立仪式上，西南交通大学系统可信性自动验证国家地方联合工程实验室首席专家徐杨、数学学院院长杨晗与四川信息职业技术学院签订系统可信性自动验证地方联合工程实验室川信分中心合作协议，并为其授牌。

据介绍，系统可信性自动验证国家地方联合工程实验室于2016年10月获国家发改委批准建设，是在四川省系统可信性自动验证工程实验室（由四川省发改委于2014年批准成立）的基础上升格而成。实验室围绕信息安全的重大需求，在原创的自动推理体系为核心基础的支撑下，形成科学有效的系统可信性自动验证技术。

授牌

签约双方表示，今后将开展软件可信性自动验证工具的推广、科技项目申报、人工智能及大数据专业建设等具体合作方向，明确了联合工程实验室川信分中心后续重点工作。期间，与会人员还参观了该校人工智能实训室、5G实训室和物联网实训室等学生教学实训场地。

【如果您有新闻线索，欢迎向我们报料，一经采纳有费用酬谢。报料ihxdsb，3386405712】