10月27日，华东师范大学软件工程学院特聘教授刘少英应邀来校讲学交流。
刘少英教授以《Towards AI-Enhanced Agile Formal Engineering for Trustworthy Software》为题，为计算机与网络空间安全学院师生作学术报告。他围绕软件系统可信性问题，系统梳理了当前主流的解决方法与创新技术，并逐一分析了相关解决方案的特点及面临的挑战，强调软件系统建设应遵循“效率与可信兼顾”的原则。刘少英教授回应师生提问，勉励在场研究生要秉持深耕细研的学术精神。
讲座后，学院院长许力教授陪同参观校史馆，并就人工智能时代软件工程人才培养方式革新、实践体系搭建展开交流。
（计算机与网络空间安全学院）