CNCC2026特邀报告｜胡振江教授——面向可信智能系统的安全编程语言：开发与证明一体化的路径与实践
2026-10-154
CNCC2026将于10月21-24日在成都举办，北京大学胡振江教授受邀作特邀报告：面向可信智能系统的安全编程语言：开发与证明一体化的路径与实践
CNCC2026（中国计算机大会）将于10月21日至24日在成都举办。本届大会以“数聚驱动，智算未来”为主题，预计将举办17场特邀报告、3场大会论坛、167场专题论坛，汇聚近千位讲者，吸引逾万人注册参会。
其中一场备受瞩目的特邀报告已正式揭晓——
胡振江
欧洲科学院院士、日本工程院院士、IEEE会士、
日本工学会会士，北京大学讲席教授
北京大学讲席教授、计算机学院院长，欧洲科学院院士、日本工程院院士、IEEE会士、日本工学会会士，国家级高层次人才。1996年在日本东京大学获得博士学位。曾担任东京大学信息理工学研究科教授和日本国立信息学研究所教授/系主任。长期从事程序设计语言和软件科学与工程的研究，曾获全日本最佳博士论文奖、日本软件科学会基础研究成就奖，21世纪先驱科学家（日本科学技术振兴机构）。
报告题目：面向可信智能系统的安全编程语言：开发与证明一体化的路径与实践
智能系统的可信性，最终取决于底层代码的正确性。然而长期以来，系统软件的开发与形式化验证相互分离，门槛高且效率低。本报告介绍一种面向开发与证明一体化的新型程序设计语言 C*：它将形式化证明直接嵌入 C 语言，使代码与证明在系统开发过程中紧耦合、同步演化，实现“开发即证明”，大幅降低系统软件形式化证明的门槛与成本。报告将结合 C* 语言的设计理念、当前进展与开放问题，与国内同行探讨这一方向的技术可行性与社区生态构建路径。
CNCC是一个宏观论述技术趋势的大会，具有规格高、规模大、内容丰富等特点，会议形式包括大会特邀报告、大会论坛、专题论坛、特色活动及展览。大会汇聚两院院士、国内外顶尖学者、知名企业家等亲临大会，展望前沿趋势，分享创新成果。ACM、IEEE CS、IPSJ、KIISE等国际计算机组织的代表也多次获邀现场参加这一盛会。CNCC2026将于10月21-24日在四川省成都市举办，大会主题是“数聚驱动，智算未来”，欢迎各界前来参会。
立即扫码报名，锁定成都之约！
点击“阅读原文”，加入CCF。
点我访问原文链接
