日前，应数学与信息学院邀请，西南交通大学宋振明教授在图书馆102学术报告厅作了题为《自动推理的应用》的学术报告。数学与信息学院200余名师生聆听了报告。报告会由数学与信息学院院长郝涌教授主持。
报告会上，宋振明教授主要从民用和国防两个领域讲解了自动推理的理论渊源和应用方向，深入浅出地阐述了使用自动推理技术验证程序的可信性，并介绍了系统可信性自动验证国家地方联合工程实验室及其团队的最新研究成果。宋教授通俗易懂、细致入微的讲解，帮助师生们进一步拓展了学习和研究视野，受到了大家的一致好评。
报告会结束后，我校校长施昌海亲切接见了宋振明教授，并就人才培养和学科建设等问题与宋教授进行了深入探讨。
宋振明，西南交通大学教授，国家级实验室系统可信性自动验证国家地方联合工程实验室负责人。主要研究方向为智能信息处理、自动推理。先后在《科学通报》、Information Science、Int. J. of Intelligent Systems等国内外重要学术刊物上发表论文60余篇，出版专著4部，其研究成果曾获铁道部和四川省科技进步奖。
（数学与信息学院 秦笠供稿 新闻中心供图）
