西南交通大学宋振明教授解析软件系统可信性

12月8日，西南交通大学宋振明教授应邀在计算机楼106教室作了题为“软件系统可信性自动验证与自动推理”的学术报告。计算机与信息技术学院部分教师及学生共200余人聆听了报告。报告会由计算机与信息技术学院院长祁传达教授主持。

报告中，宋振明首先从民用和国防应用领域介绍了提高软件系统可信性的必要性以及相应的基本方法，然后深入浅出地讲解了软件系统可信性验证的发展历史、目标和解决方案，并举例说明如何使用自动推理技术验证程序的可信性，最后，宋振明介绍了其所在的”系统可信性自动验证国家地方联合工程实验室”和研究团队的最新研究成果。

宋振明来访期间与计算机与信息技术学院领导班子和学术骨干进行了座谈，就设立“系统可信性自动验证国家地方联合工程实验室”信阳研究中心问题达成共识。双方还就人才培养、学科建设、项目申报和实验室建设等事宜进行了深入洽谈，达成了合作意向。

宋振明，西南交通大学教授，国家级实验室“系统可信性自动验证国家地方联合工程实验室”负责人。主要研究方向为智能信息处理、自动推理。先后在“科学通报”、Information Science、Int. J. of Intelligent Systems等国内外重要学术刊物发表论文60余篇，出版专著4部，其研究成果曾获铁道部和四川省科技进步奖。