望安科技赞助并出席第25届QRS会议，共议AI时代软件安全新范式

        2025年7月16日—7月20日，第 25 届 QRS （国际软件质量、可靠性与安全会议）在浙江省杭州市白马湖国际会展中心圆满举办，望安科技和华为作为仅有的两家赞助企业出席此次盛会，并与国际权威专家们共同讨论 AI 时代的软件安全性和可靠性。

       本届 QRS 会议适逢 25 周年里程碑。 自 2000 年在香港首次举办以来，该会议已成为国际学术界公认的软件质量与安全领域顶级交流平台。2015 年，SERE 会议（IEEE 软件安全性和可靠性国际会议）和 QSIC 会议（IEEE 质量软件国际会议）合并为 QRS。

        本次会议为来自全国的工程师和科学家提供了一个平台，使他们能够展示最新的研究成果，交流实践经验，并共同探讨构建可靠、安全和可信赖系统的最佳技术和方法。同时，会议也为学术界与工业界的紧密合作创造了条件，使得学者们能够在行业实践者提出具体需求时，更深入地洞察对软件行业至关重要的学科领域，从而推动理论与实践的紧密结合。

        本次大会上，望安科技创始人、浙江大学博士生导师 赵永望 教授，与佛罗伦萨大学 Andrea Bondavalli 教授、科英布拉大学 Henrique Madeira 教授、格拉茨理工大学 Franz Wotawa 教授以及华为技术有限公司终端云、基础云平台开发部 Fei Shen 博士，围绕“人工智能时代的软件安全性和可靠性：挑战、解决方案和未来方向”展开深度讨论。

        赵永望教授详细阐述了在人工智能时代，形式化方法作为验证传统软件安全极具前景的方法，如何为 AI 软件的安全性和可靠性做出贡献，并从中获益。此外，他还探讨了形式化方法研究人员与AI研究人员之间的合作现状，以及是否需要进一步弥合这一领域的合作鸿沟。

        目前，人工智能与机器学习技术已深度融入各类软件系统，从自动驾驶汽车到医疗诊断系统，其安全、可靠的重要性被提升到了前所未有的高度。然而，AI/ML技术也带来了诸多独特挑战，如决策过程的不透明性、数据偏见以及不断演变的攻击面等问题，这促使我们必须在验证、测试和风险控制方面构建全新的范式。

        作为国内高等级数字安全领航者，望安科技依托形式化验证技术，致力于为国家重大项目、关键系统及行业企业提供安全保障。面对AI时代的新挑战，望安科技愿与业界携手合作，共同推动形式化方法的深入研究和广泛应用，为全球软件质量保障体系贡献更多创新的解决方案，助力构建安全可信的数字世界新格局。