2026年10月27日上午10:00，应我院邀请，华东师范大学软件工程学院特聘教授、IEEE Fellow、BCS Fellow、AAIS Fellow刘少英教授在计网大楼507报告厅作了题为《Towards AI-Enhanced Agile Formal Engineering for Trustworthy Software》的学术报告。
刘少英教授围绕软件系统可信性问题，系统梳理了当前主流的解决方法与创新技术，逐一分析相关解决方案的特点及面临的挑战，强调软件系统建设应遵循“效率与可信兼顾”的原则。在互动环节，刘少英教授以开放亲和的态度回应师生提问，勉励在场研究生秉持深耕细研的学术精神。
报告会后，院长许力教授陪同参观校史馆，并就人工智能时代软件工程人才培养方式革新、实践体系搭建展开了深入交流。
刘少英教授是华东师范大学软件工程学院特聘教授，入选教育部长江学者奖励计划，IEEE Fellow、BCS Fellow、AAIS Fellow，1992年获英国曼彻斯特大学计算机科学博士学位。他创立和发展了“形式化工程方法”研究领域，研制开发了SOFL形式化工程开发语言和方法，开拓了敏捷形式化工程方法Agile-SOFL，在IEEE Transactions on Software Engineering、Journal of Systems and Software等国际学术期刊和国际会议发表论文300多篇，曾多次担任ICFEM、ICECCS等国际会议的大会主席和程序委员会主席。
