2026年3月27日上午，学院在25教一楼报告厅成功举办学术报告会，邀请巴西伯南布哥联邦大学（UFPE）信息中心的两位知名学者Juliano Iyoda博士与Gustavo Carvalho博士作专题报告。报告会由分管科研工作的廖剑伟副院长主持，吸引了学院百余名师生到场聆听。

报告会上，两位专家首先系统介绍了巴西高等教育的整体架构、运行机制与发展挑战。作为在巴西本土完成本硕博培养并长期活跃于国际学术舞台的学者，Carvalho博士结合自身在UFPE的教学与科研经历，分享了该校信息中心在课程设置、科研训练、国际合作及学生创新能力培养等方面的经验。他特别强调，UFPE注重将形式化方法、软件工程实践与产业需求紧密结合，致力于培养具备扎实理论基础和解决复杂工程问题能力的复合型人才。该报告为我院师生深入了解南美国家，特别是巴西顶尖理工科院系的学术生态与教育理念，提供了宝贵视角。

随后，两位专家围绕高可信软件系统展开前沿探讨。在自动驾驶、航空航天、金融交易等高风险领域，传统软件测试虽不可或缺，却难以覆盖所有边界场景，仍存在隐患。而基于数学逻辑的形式化验证技术，能够对系统行为进行严格建模与证明，从而提供远超测试的可靠性保障。两位专家从基本概念出发，深入浅出地阐释了形式化方法的核心思想、与传统测试的本质区别，并结合其在HOL定理证明系统、自动推理及软硬件协同验证中的长期研究积累，展示了形式化方法如何在实际工业级项目中落地应用，为构建“零缺陷”关键系统提供坚实支撑。在随后的问答环节中，现场师生围绕巴西高校科研评价机制、形式化工具链成熟度、中巴合作潜力等话题，与专家进行了深入交流。

本次报告会是学院推进国际化办学、拓展师生全球视野的一项重要举措。未来，学院将持续深化与海外高校的实质性合作，积极推动科研协同与人才培养高质量发展。

供稿：张维勇

供图：张维勇

初审：廖剑伟

复审：王一晖

终审：易一鹏