报告题目：智能化软件专业能力培养：人工智能打开的空间和带来的挑战

演讲摘要：随着云计算、物联网、大数据、人工智能等信息领域技术浪潮不断兴起，特别是近年来人工智能领域在深度神经网络和以大语言模型为代表的基础模型技术方面产生的重大突破，推动信息世界、物理世界和人类社会日趋交叉融合，从而进一步打开了开放、动态和不确定场景下智能化软件的需求空间。软件是智能的载体，人工智能不仅打开了软件的需求空间、也在诸多方面带来了重要挑战。本报告主要围绕智能化软件和大语言模型，阐述软件工程专业能力培养面临的挑战，主要内容包括软件本质的认识与理解、智能化软件与大语言模型工具、如何构建智能化软件专业能力、如何用软件工程能力驾驭人工智能等。

讲者简介：李宣东，南京大学教授，主要教学与研究工作涉及软件工程、系统软件、可信软件、形式化方法。