周智泉

计算机科学教授

计算机科学系 / 理工学院

香港大学软件工程博士学位

北京大学计算机科学学士学位

获得香港大学软件工程博士学位，北京大学计算机科学学士学位。2026年加入宁波诺丁汉大学任计算机科学教授。拥有近30年横跨学术界与工业界的复合经历。曾任澳大利亚沃隆港大学终身教授、蚂蚁集团测试开发总监、蔚来汽车资深专家（安全研发）及软件安全工具部负责人，推进工业级软件交付、量产车型上市及跨国技术合作。是全球知名的软件测试与 AI 系统质量保障专家，蜕变测试（Metamorphic Testing）学科核心奠基人。蜕变测试是公认的解决复杂系统与人工智能系统 “测试预言难题”（test oracle problem）的主流方法，2021 年纳入 ISO/IEC/IEEE 29119-4 软件测试技术国际标准。科研成果发表于 IEEE TSE、ACM TOSEM、Communications of the ACM、ACM Computing Surveys 等顶刊，被 Nature 在线报道。荣获微软美国总部 Virtual Earth Award 和澳大利亚计算机学会 Researcher of the Year Gold Disruptor Award，是国家级高层次人才，香港特区政府科学顾问。长期致力于软件测试基础理论研究与产业落地。领导研发的“蚂蚁测试智能引擎”核心技术获选信通院“软件质效领航者”优秀案例。

研究领域包括软件测试与静态分析，尤其是对AI系统和复杂系统的测试、分析与评估；AI驾驭工程；车载系统与嵌入式系统的信息安全、功能安全与预期功能安全；需求评审与验证；大数据分析；自动驾驶系统、智能座舱与具身智能。