作为人工智能与软件工程交叉融合的例子，智能化软件工程和智能软件工程近年来有了很多进展。前者，智能化[软件工程]侧重于在为解决各种软件工程任务而研发的方法中灌输智能。后者，[智能软件]工程，专注于解决智能软件应用领域的各种软件工程任务。本次报告将讨论智能化软件工程和智能软件工程的最新研究进展和未来发展方向。

谢涛，北京大学计算机科学技术系讲席教授，高可信软件技术教育部重点实验室（北京大学）副主任，美国科学促进会（AAAS）会士，电气电子工程师学会（IEEE）会士，美国计算机协会（ACM）杰出科学家，中国计算机学会（CCF）杰出会员。曾获科学探索奖，国家自然科学基金委海外杰出青年科学基金以及其延续资助，美国NSF Faculty CAREER Award，ACM SIGSOFT杰出服务奖，IEEE计算机协会软件工程技术委员会（TCSE）杰出服务奖等。担任CCF软件工程专委会副主任，CCF-IEEE CS青年科学家奖评奖分委员会主席，中国计算机大会（CNCC 2020）程序委员会主席，软件工程旗舰国际会议ICSE 2021程序委员会共同主席，《软件测试、验证与可靠性（STVR）》Wiley期刊联合主编等。主要研究领域包括软件工程，系统软件，软件安全。