四川经济网广元讯 （王会杰 记者 侯东 文/图）7月11日，西南交通大学系统可信性自动验证国家地方联合工程实验室首席专家徐杨教授、数学学院院长杨晗教授来到四川信息职业技术学院，与该校签订系统可信性自动验证地方联合工程实验室川信分中心合作协议并授牌。

成立仪式现场

在该校综合楼0903会议室，双方举行了系统可信性自动验证地方联合工程实验室川信分中心成立及授牌仪式。该校党委书记周勇、院长敬代和、副院长程远东等参加成立仪式。

成立仪式上，周勇对来宾表示热烈的欢迎，向西南交通大学10多年来对学校的支持表示感谢，同时对联合工程实验室川信分中心的建设提出希望。

双方代表签约 

杨晗提出了包括软件可信性自动验证工具的推广、科技项目申报、人工智能及大数据专业建设等具体合作方向，双方明确了联合工程工程实验室川信分中心后续重点工作。

程远东宣读了联合工程实验室川信分中心成立文件，对分中心成员提出具体工作要求。 

授牌

敬代和代表学校与对方签署了合作协议，杨晗向联合工程实验室川信分中心负责人、软件学院副院长云贵全授牌。

期间，来宾还参观了该校人工智能实训室、5G实训室和物联网实训室等学生教学实训场地。