10月22日至24日，应学院邀请，华东师范大学软件工程学院特聘教授刘少英来我院交流访问。23日下午，刘少英教授在蓝光报告厅作题为《面向可信软件的AI增强型敏捷形式化工程》的学术报告，学院教师、研究生和本科生参加报告会。

如何在提高软件开发效率的同时保障软件系统的可信性，是软件工程领域长期关注的重要问题。围绕这一问题，刘少英教授分析了模型驱动、形式化方法、基于组件的开发和敏捷开发等技术的特点及其在实际应用中面临的挑战，介绍了团队在敏捷形式化工程及其智能化支撑方面的研究进展。

报告重点阐述了将形式化方法融入软件工程实践的研究思路。刘少英教授结合敏捷形式化工程方法Agile-SOFL，介绍了如何提高软件开发方法的严密性、有效性与工具可支撑性，并探讨了利用专家知识与大语言模型开展人机结对编程、为敏捷形式化工程提供智能化支撑的技术路径，以及这一方向仍需解决的研究问题。

报告结束后，刘少英教授与师生围绕软件工程技术发展前景和专业教学等进行了交流。此次活动为师生了解人工智能与形式化方法相结合的研究进展提供了机会，也为学院开展可信软件相关研究与教学提供了参考。

刘少英教授入选教育部长江学者奖励计划，是IEEE Fellow、BCS Fellow、AAIS Fellow，长期从事形式化工程方法、软件设计、程序验证与测试等研究，研制开发了SOFL形式化工程开发语言和方法，开拓了敏捷形式化工程方法Agile-SOFL，出版学术专著2部，在国际学术期刊和会议发表论文300余篇。（通讯员：马光晓）