2022年7月11日下午,系统可信性自动验证国家地方联合工程实验室在四川信息职业技术学院成立分中心,简称系统可信性自动验证国家地方联合工程实验室川信分中心。
![](/__local/E/7C/29/994C5956A8616F85473FDA9D8AE_82B2FFB0_16ED3.jpg)
数学学院执行院长杨晗(兼系统可信性自动验证国家地方联合工程实验室(后简称国地实验室)主任)、国地实验室首席专家徐扬教授、副院长李志辉(兼国地实验室专职副主任)、国地实验室副主任韦洪雷、国地实验室徐鹏、严光银等一行前往四川信息职业技术学院(后简称川信学院)参加成立及授牌仪式会议。
![](/__local/8/13/54/A0F0D6ADD8E59C9B27CCC96FC3C_5E075664_19D9C.jpg)
川信学院校长敬代和主持会议,川信学院党委书记周勇首先致欢迎辞并向我方参会人员介绍了川信学院情况。然后杨晗院长向川信学院介绍了西南交通大学相关情况、国地实验室成立、建设、发展历程。
![](/__local/E/52/38/8715D6E0CE08E4806D5AF2F5410_E2FEE484_46F72.jpg)
接着双方就合作内容和协议进行了讨论和确认,并对合作形式交换了看法并取得一致意见。
![](/__local/A/EB/F3/FF2AD96ADBC836EC9F9BE1CCABB_8592C30A_34379.jpg)
数学学院杨晗院长与川信学院敬代和校长在合作协议上进行签字,杨晗院长向国地实验室川信分中心进行了授牌。
![](/__local/E/A0/81/D7B32183966DD922C8623F0B2B1_4C0A85D5_10870F.jpg)
签约及授牌仪式结束后,川信学院副校长程远东宣读了国地实验室川信分中心机构设置及人员组成、工作任务及考核要求。
最后,徐扬教授就川信分中心发展前景和切入点做了深入分析和讲解,并在许多方面给出了指导意见或建议。
会议开始前,我方一行还参观了川信学院实验室,就川信学院面向市场需求培养应用型人才的办学理念,充分利用校企资源联合培养用人单位需要的技术人才而取得社会效益和经济效益印象深刻。
![](/__local/9/B6/D7/DC398F872C3F8FED5B281822EFC_D2FD6A93_191E9.jpg)
![](/__local/2/9E/D1/3041576DB322C7A96874EAA074B_1C759B83_1BA64.jpg)
![](/__local/B/0F/A8/8FBD61829ED2ED23476C32EC323_94C89241_42CD4.jpg)
![](/__local/6/6A/E5/C6749E4896CA962A9708C8F4CB3_11039904_26E42.jpg)
![](/__local/E/AD/65/8720F6D6118A04BE7DC7511CAA5_905EAB8F_3825E.jpg)
![](/__local/5/CE/56/CD72183F192AAA888EE87C9A4C5_3319C88B_1A0A3.jpg)
![](/__local/0/D9/9B/351415DC594E45CFA4C1FEEA8DA_9193730E_184DE.jpg)
![](/__local/3/71/52/1090DBEACF20131A2C2FACBE7A1_990C80F8_17C1C.jpg)
![](/__local/E/A8/3D/FC3F0858130621749A78B36CF36_0983C893_18CD6.jpg)