2019年7月8日上午，2019年河南省职业教育“双师型”教师信阳师范学院计算机应用专业培训班邀请了中国科学院自动化研究所研究员、博士生导师、副总工程师张文生教授在艺术楼报告厅为学员们做“人工智能的过去、现在和未来”的专题辅导。

张文生教授首先介绍了人工智能的起源和本质，叙述了人工智能60年来的发展，以国际象棋大师卡斯帕罗夫与“深蓝”计算机对决、韩国棋手李世石与AlphaGo的比赛、腾讯的围棋软件“绝艺”为例，分析说明了不同时期人工智能发展的水平。随后，张教授分别从普通民用和军事应用出发，论述了提高软件系统可信性的必要性，介绍了软件系统可信性验证的发展历史、目标及相关解决方案，并举例说明如何使用自动推理技术验证程序的可信性。最后，张教授向学员们分享了其研究团队的最新研究成果。

经过张文生教授的辅导，学员们了解到人工智能的相关知识和最新技术，产生了学习、研究人工智能的兴趣和热情。