4 月 17 日上午，新西兰奥克兰大学计算机科学系孙敬副教授应邀到访信息学院为学院师生带来一场主题为 “设计模型修复的自动化”（The Automaton of Design Model Repair）的精彩学术报告。
在大型软件、数字硬件等复杂系统的研发进程中，构建形式化设计模型是奠定后期实现逻辑基础的关键环节。然而，如何确保设计模型精准且全面地涵盖系统功能、性能、可靠性等多方面要求，同时规避死锁等潜在设计缺陷，始终是学术界与工业界共同关注的核心议题。一旦设计层面的错误或缺陷未能及时发现与修复，极有可能延伸至系统实现阶段，在航空航天、自主驾驶等安全攸关领域引发严重安全隐患，造成难以估量的生命和财产损失。
传统设计模型的缺陷检测及修复通常很耗时且准确性较低，为了减轻设计人员负担，孙敬副教授带领团队提出一种基于形式化方法的自动缺陷修复技术。首先基于经典形式化方法B方法的抽象机理论给出系统动态行为需求规约的形式化刻画，然后提出三种抽象机操作算子用于实现缺陷的自动修复，并通过Model checking技术自动验证被修复后模型的正确性。该技术能够有效实现对大型软件或硬件系统设计模型缺陷自动、完备的检测修复，为系统的安全可靠运行提供重要的设计时保障。
孙敬副教授学术履历丰富，本科毕业于南京大学计算机系，2003 年于新加坡国立大学取得计算机科学博士学位，并于同年加入新西兰奥克兰大学计算机科学系工作。如今，他已是奥克兰大学副教授、博士生导师，在软件工程、形式化方法领域享有国际盛誉，长期深耕智能软件工程、计算机辅助验证、自动推理及定理证明、软件自动化等研究方向。
当日，信息学院 20 余位相关研究领域的师生参与了此次学术报告，现场学术氛围热烈，大家与孙敬副教授展开深入讨论与思想碰撞。此外，信息学院优秀校友、浙江智加信息科技有限公司施寅杰总经理也到场，与孙敬副教授进行了深度交流。
一直以来，信息学院计算机学科相关研究团队在智能软件工程、可信计算及理论、分布式协同计算等领域持续发力，近年来在自然语言处理、代码生成大模型、代码知识图谱、自动代码生成等方向斩获重要研究成果，并承担重要市级科技攻关项目。未来，团队计划与新加坡国立大学、奥克兰大学等世界一流高校开展更为紧密的合作，致力于构建国家自主可控软件体系和生态，为相关领域发展贡献智慧与力量。
