5月21日上午，中国科学院自动化研究所张文生研究员应邀在计算机楼107教室作了题为“深入理解人工智能的过去与未来”的学术报告。计算机学院部分教师及和学生共200余人聆听了报告。报告会由计算机学院院长祁传达教授主持。

报告中，张文生首先人工智能的起源和本质出发，探究人工智能六十年来研究的起起伏伏、人工智能历史上哪些研究至今还是重要的以及如何断哪类研究有无意义，然后从民用和国防应用领域介绍了提高软件系统可信性的必要性以及相应的基本方法，深入浅出地讲解了软件系统可信性验证的发展历史、目标和解决方案，并举例说明如何使用自动推理技术验证程序的可信性；最后，张文生介绍了其所在研究团队的最新研究成果。

张文生，中国科学院自动化研究所研究员、博士生导师，副总工程师。中国科技大学讲座教授、博士生导师，中国科学院大学人工智能首席教授。主要研究：人工智能、统计机器学习、大数据模式挖掘、网络协同制造。国家“云计算和大数据”重点专项总体组专家、“物联网与智慧城市”重点专项实施专家组专家、国家自然科学基金委评审专家、中国科学技术奖评委，中国仪器仪表学会物联网工作委员会副理事长、中国人工智能学会智能服务专委会副主任、中国自动化学会智能控制专业委员会副主任、中国自动化学会人机交互专业委员会秘书长。主持完成6项国家自然科学基金重点与面上项目，以及9项国家科技部863项目、支撑计划项目和973计划课题研究。已经在国内外发表160余篇学术论文，获得国家发明专利40余项。