宋振明教授是西南交通大学数学学院的一名教授，拥有工学博士学位。他在智能信息处理理论研究与教学工作方面有较深的造诣，并取得了显著的学术成就。以下是关于宋振明教授的一些信息：

教育背景

博士：

1998年在西南交通大学获得博士学位。

硕士：

1988年在河南大学获得硕士学位。

学士：

1982年在河南大学获得学士学位。

研究方向

主要研究方向包括智能信息处理和自动推理。

学术贡献

发表研究论文60余篇，其中近30篇发表在“科学通报”、“Information Science”、“Int. J. of Intelligent Systems”等国内外重要学术刊物上。

出版编著4部，包括研究生和本科教材。

作为国家级实验室“系统可信性自动验证国家地方联合工程实验室”的负责人，对软件系统可信性有深入研究。

荣誉与奖项

研究成果曾获铁道部和四川省科技进步奖。

学术职务

中国运筹学会模糊信息与工程分会常务理事。

中国计算机学会多值逻辑与模糊逻辑专业委员会委员。

教学成果

培养硕士生12人。

宋振明教授在学术界具有一定的影响力，他的研究成果和教学贡献得到了同行的认可。如果您需要更详细的信息，请告诉我，我会尽力提供帮助