通讯地址：中国四川成都高新园区西部园区西南交通大学犀浦校区1号信箱

邮编：611756

联系人：

     首席专家、学术带头人：徐扬        

     自动推理系统研发中心：陈树伟

     形式化系统研发中心： 王恪铭

     可信性自动验证研发中心：李志辉、宋振明、徐鹏

     智慧体育与健康应用技术中心：韦洪雷、李相俊、蒲茂武

     科技转化与事业发展部：韦洪雷、申浩

办公地址

        实验室相关部门：中国市场成都高新区西部园区西南交通大学犀浦校区3号楼4层、6层，2号教学楼5层

       编码与序列设计应用中心：中国四川成都高新园区西部园区西南交通大学犀浦校区7号教学楼5层

       智慧体育与健康应用技术中心&科技转化与事业发展部：中国四川省成都市二环路北一段111号西南交通大学创新大厦4层

实验室联系方式

联系电话：+86-28-87634751、87600761

邮箱：scavel@swjtu.cn

传真：028-87600764

大数据中心技术支持联系方式

技术支持电话: 028-87601108、87601187

邮箱: scshdc@163.com

Q Q: 1912923569