人工智能学院


College of Artificial Intelligence

勤勉笃学


务实创新

我系到西南交大四川省系统可信性自动验证工程实验室学习调研
发布时间:2015-06-16  查看次数:
    201562-4日,在我院科研处苑少强处长的带领下,计算机系一行四人(张婷、王建国、曹锋、王学成)到西南交大四川省系统可信性自动验证工程实验室学习、考察、调研。考察团走访了实验室、研究室,与负责人徐扬教授、宋振明教授座谈,与研发团队交流,了解目前实验室的研究方向和研究内容、研究基础及水平、支撑条件、建设规划与预期目标等。