计算机应用专业 “双师型”教师培训专家讲座举行

7月8日，河南省2019年计算机应用专业 “双师型”教师培训在艺术楼报告厅举行，培训邀请了中国科学院自动化研究所研究员、博士生导师、副总工程师张文生教授为学员做了“人工智能”的专题讲座。

报告中，张文生从人工智能的起源和本质出发，通过列举国际象棋大师卡斯帕罗夫和“深蓝”计算机对决、2016年AlphaGo赢了韩国棋手李世石、腾讯的围棋软件“绝艺”这些特定时期人工智能发展技术水平的事例，与学员共同探究了人工智能60年来的发展；从民用和国防应用领域介绍了提高软件系统可信性的必要性以及相应的基本研究方法，讲解了软件系统可信性验证的发展历史、目标和解决方案，并举例说明如何使用自动推理技术验证程序的可信性；与学员分享了研究团队的最新研究成果。

通过分享与交流，学员了解了人工智能方面相关的知识与技术，开阔了视野。激发了学员对人工智能的学习和研究热情，受到好评。