2016年12月29日，宋振明兼职教授聘任仪式在西南交通大学“系统可信性自动验证国家地方联合工程实验室”学术报告厅举行。仪式由计算机与信息技术学院副院长黄俊主持。

        聘任仪式上，计算机与信息技术学院院长祁传达为宋振明教授颁发了兼职教授聘书，对宋振明教授的加盟表示欢迎，并高度评价了他的学术成就，希望他的加盟能够带动双方的合作与发展。

        聘任仪式后，祁传达院长一行四人参观了“系统可信性自动验证国家地方联合工程实验室”。实验室副主任宋振明教授介绍了实验室主要工作和最新研究成果，并详细讲解了软件系统可信性验证的发展历史、目标、解决方案和应用前景。

    在访问西南交通大学期间，祁传达院长一行开展了计算机与信息技术学院博士招聘宣讲活动，与即将毕业的博士生进行了交流，详细介绍了信阳师范学院2017年人才引进政策，并为逐一回答了各位博士的问题，并表示真诚期待各位博士加盟，希望各位博士能够到访计算机与信息技术学院进行交流合作。

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