6月10日上午，华东师范大学软件工程学院特聘教授、教育部长江学者讲席教授、IEEE/BCS/AAIA Fellow刘少英应邀来我院作题为“高可信软件的智能化敏捷形式化工程方法”的学术报告。学院相关教师及学生代表参加了本次活动。

刘少英教授围绕高效率与高可信协同推进的核心问题，梳理了模型驱动、形式化方法、组件开发、敏捷开发等方法的特点与挑战，指出需在保证效率的同时提升复杂软件的正确性、可靠性与可验证性。他介绍了融合形式化方法与敏捷开发的思路，结合SOFL方法阐述了形式化规约、验证与测试的作用及现实难点，并探讨了专家知识与大语言模型驱动的人机结对编程技术，强调AI生成结果需由形式化方法保障可信性，最后展望了高可信软件智能化开发方向。

在交流互动环节，参会师生围绕形式化方法的工程化应用、大语言模型生成代码的可信性保障、软件测试与程序验证的融合等问题与刘少英教授进行了深入交流。刘少英教授结合自身长期科研经验，对师生提出的问题进行了细致解答，现场学术氛围浓厚。

本次学术报告内容前沿、视野开阔、讲解深入，不仅加深了学院师生对形式化方法、高可信软件工程和智能化软件开发的理解，也为学院相关学科方向建设、科研合作与人才培养提供了有益启发。