西南交通大学四川省系统可信性自动验证工程实验室唐山研究中心揭牌仪式隆重举行

西南交通大学四川省系统可信性自动验证工程实验室唐山研究中心揭牌仪式隆重举行 [发布时间：2016年04月26日]  [点击数：] 4月23日上午，西南交通大学四川省系统可信性自动验证工程实验室唐山研究中心揭牌仪式在唐山锦江饭店贵宾楼隆重举行。西南交通大学副校长朱健梅教授、唐山市政府副秘书长周景会、唐山学院院长杨志安教授、西南交通大学四川省系统可信性自动验证工程实验室负责人宋振明教授共同为研究中心揭牌。 四川省系统可信性自动验证工程实验室成立于2014年9月，是目前西南交通大学唯一一个具有理科综合背景、依托理科学院建设的省级工程实验室，研究方向与内容为自动推理技术、系统可信性自动验证、形式化工具系统设计等。目前成果应用于武器装备、轨道交通、电力系统、无人机飞控、火箭发射、工业控制、信息安全等领域。为响应国家京津冀协同发展战略，促进西南交通大学与唐山市的深度合作，提高唐山高校师资队伍学术水平，提升唐山企业科技水平，造就现代高端科技服务新领域，由西南交通大学、唐山市政府及唐山学院共建四川省系统可信性自动验证工程实验室唐山研究中心，研究中心设在唐山学院大学西道校区。 西南交通大学四川省系统可信性自动验证工程实验室唐山研究中心的建立，将积极开展自动推理技术、系统可信性自动验证等研究工作，在凝练方向、培养人才、开放交流、提升层次，加速科技成果转化等方面，为唐山市及我校的学科水平、科研实力的提升起到积极的促进作用。(科学技术处供稿 责任编辑：邹艳梅)