望安科技受邀参加中国图灵大会，共同发布矽望社区开源操作系统

      2024年7月5日，第六届ACM中国图灵大会（ACM Turing Award Celebration Conference TURC 2024）在长沙正式举行。本届大会由ACM（国际计算机学会）主办，CCF（中国计算机学会）协办，长沙市人民政府、湖南大学承办，湖南省科学技术厅、湖南省科学技术协会、长沙市科学技术局共同指导。

图：开幕式现场

      国际计算机学会（ACM）是世界上最大的计算机领域专业性学术组织，成立于1946年。迄今为止，国际计算机学会（ACM）中国图灵大会已在上海、成都、合肥、武汉成功举办五届，上万名计算机和人工智能领域相关人士参与大会。本次大会围绕“感联智信，数创未来”主题，邀请国内外学术专家和教授做主旨报告，分享他们对尖端技术和人工智能的看法，探讨计算科学的未来。

矽望社区开源操作系统

      望安科技创始人、浙江大学教授——赵永望，受邀参加了本次图灵大会，并在大会上作了《操作系统形式化验证技术、工具和应用》的报告，介绍了国产操作系统形式化验证和安全认证的最新进展，共同发布矽望社区开源操作系统。

      随着数字化转型的加速，操作系统作为连接软件和硬件的关键桥梁，其安全性和可靠性成为国家信息技术自主可控战略的核心。对国产操作系统而言，采用形式化验证技术有助于提升其可信度，尤其在军事、金融、电信等对安全具有极高要求的领域。通过形式化验证，能够系统地检查软件设计，确保代码符合预期的安全规范，这对于构建可信的国产操作系统至关重要。

      未来，矽望社区将作为一个开放平台，鼓励开发者和研究者共同参与，促进国产操作系统的创新发展。望安科技作为系统形式化验证与安全认证的推动者，也将深度参与社区发展，开展矽望开源操作系统的形式化验证，推动国产开源操作系统的安全可靠性提升，为构建更加安全可靠的数字中国贡献力量！