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

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

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

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

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