人工智能学院
College of Artificial Intelligence
勤勉笃学
务实创新
学院首页
学院概况
学院简介
机构设置
新闻动态
学院新闻
通知公告
师资队伍
教育教学
专业设置
科学研究
专业实践
实验室
学科竞赛
学生工作
团学活动
学生风采
就业创业
毕业生情况
招聘信息
党建工作
基层建设
活动动态
校企合作
快速导航
学院新闻
通知公告
教育教学
师资队伍
党建工作
科学研究
校企合作
就业创业
您的当前位置:
首页
教学科研
我系到西南交大四川省系统可信性自动验证工程实验室学习调研
发布时间:2015-06-16 查看次数:
2015
年
6
月
2-4
日,在我院科研处苑少强处长的带领下,计算机系一行四人(张婷、王建国、曹锋、王学成)到西南交大四川省系统可信性自动验证工程实验室学习、考察、调研。考察团走访了实验室、研究室,与负责人徐扬教授、宋振明教授座谈,与研发团队交流,了解目前实验室的研究方向和研究内容、研究基础及水平、支撑条件、建设规划与预期目标等。