10月23日，华东师范大学软件工程学院特聘教授刘少英为计算机学院师生作题为“面向可信软件的AI增强型敏捷形式化工程”的学术报告，计算机学院教师、研究生和本科生参加报告会。

刘少英围绕“如何在提高软件开发效率的同时保障软件系统的可信性”这一问题，刘少英分析了模型驱动、形式化方法、基于组件的开发和敏捷开发等技术的特点及其在实际应用中面临的挑战，介绍了团队在敏捷形式化工程及其智能化支撑方面的研究进展。他重点阐述了将形式化方法融入软件工程实践的研究思路，结合敏捷形式化工程方法Agile-SOFL，介绍了如何提高软件开发方法的严密性、有效性与工具可支撑性，并探讨了利用专家知识与大语言模型开展人机结对编程、为敏捷形式化工程提供智能化支撑的技术路径，以及这一方向仍需解决的研究问题。

报告会后，刘少英与计算机学院师生围绕软件工程技术发展前景和专业教学等进行了交流。（通讯员：马光晓 实习编辑：袁文龙）