西南交通大学“系统可信性自动验证地方联合工程实验室” 四川信息职业技术学院分中心成立

2023-09-13 17:14:17文/

7月11日，西南交通大学系统可信性自动验证国家地方联合工程实验室首席专家徐杨教授、数学学院院长杨晗教授来到四川信息职业技术学院，与该校签订系统可信性自动验证地方联合工程实验室川信分中心合作协议并授牌。成立仪式现场双方举行了系统可信性自动验证地方联合工程实验室川信分中心成立及授牌仪式。四川信息职业技术学院党委书记周勇、院长敬代和、副院长程远东等参加成立仪式。成立仪式上，周勇对来宾表示热烈的欢迎，向西南交通大学十多年来对四川信息职业技术学院的支持表示感谢，同时对联合工程工程实验室川信分中心的建设提出希望。杨晗提出了包括软件可信性自动验证工具的推广、科技项目申报、人工智能及大数据专业建设等具体合作方向，双方明确了联合工程工程实验室川信分中心后续重点工作。程远东宣读了联合工程实验室川信分中心成立文件，对分中心成员提出具体工作要求。双方代表签约授牌敬代和代表四川信息职业技术学院签署了合作协议，杨晗向联合工程实验室川信分中心负责人、软件学院副院长云贵全授牌。期间，来宾还参观了该校人工智能实训室、5G实训室和物联网实训室等学生教学实训场地。

西南交通大学“系统可信性自动验证地方联合工程实验室” 四川信息职业技术学院分中心成立

成都成医附院护士学校公立吗

重庆万州现代信息工程学院

成都汽车技校有哪些

最新文章

热门文章

热门标签