西南交大系统可信性自动验证国家地方联合工程实验室获得批复
近日，从四川省发展和改革委员会转发国家发改委的批文（发改高技[2016]2203号）获悉，由西南交通大学数学学院牵头、英国ULSTER大学、四川九洲集团、中车青岛四方公司参与申报的“系统可信性自动验证国家地方联合工程实验室”正式获批。此次获批，实现了学校理科板块国家级科研平台的重大突破。
2014年9月22日，四川省发展和改革委员会下发批复，成立“四川省系统可信性自动验证工程实验室”。实验室成立之初，通过联合包括英国Ulster大学、巅峰软件集团、西南交通大学科技园等在内的力量，立足于建立一个集理论研究、系统研发和产业化于一体的工作体系与应用平台。两年来，在学校的高度重视下，在包括四川省发改委、唐山市政府、我校科研院、唐山研究院等支持下，实验室先后与四川省国防科工办联合举办了“软件监测与验证技术交流会”，与唐山市政府、中车唐山公司等合作建立四川省系统可信性自动验证工程实验室唐山研究中心，与中国航天集团、长虹电子、九州电器、东方电机等三十余家单位进行了科研项目合作，还面向海内外举办多场自动推理（定理机器证明）研究进展的讲座，极大地提升了实验室的实力，为此次申报成功奠定了坚实基础。
近年来，数学学院认真落实学校三大战略和理科“振兴行动计划”，按照“国际视野、超常路径、重点突破、教研并举”的思路，实施“1123”工程，在人才引进、平台建设、教育教学质量等多方面取得长足进步，学科实力不断增强。数学学院自动验证研究团队以徐扬教授为学术带头人，通过与英国Ulster大学长期持续合作研究，在自动验证领域发展原创的自动推理理论、方法与工具等方面一直保持了国际先进水平，并在重要应用领域不断取得了系列重大应用成果。四川省系统可信性自动验证工程实验室平台建设和迅速发展，进一步促进了系统可信性自动验证领域的国际交流与合作，并强化高水平创新研究团队的形成。数学学院制定的《数学学院十三五学科发展规划（2016-2020）》中提出，依托基础研究的优势，采取特殊政策，集全院之力要把实验室建设成为我国高水平的学科建设、成果转化、国际合作的示范平台。
此次实验室获批为“国家地方联合工程研究中心（工程实验室）”，通过着力提高研发工程化实验能力、完善产学研合作机制、加强协同创新等建设与发展，必将进一步促进国家和地方产业技术进步和结构调整，从更高层面而推动我校学科建设、人才培养、科学研究等多方面的持续发展。
