来源：中国计算机学会

文章链接：https://mp.weixin.qq.com/s/JlRj0VE5-BdJnAErlHGRvg

CNCC2026将于10月21-24日在成都举办，北京大学胡振江教授受邀作特邀报告：面向可信智能系统的安全编程语言：开发与证明一体化的路径与实践

CNCC2026

CNCC2026（中国计算机大会）将于10月21日至24日在成都举办。本届大会以“数聚驱动，智算未来”为主题，预计将举办17场特邀报告、3场大会论坛、167场专题论坛，汇聚近千位讲者，吸引逾万人注册参会。

其中一场备受瞩目的特邀报告已正式揭晓——

胡振江

欧洲科学院院士、日本工程院院士、IEEE会士、

日本工学会会士，北京大学讲席教授

蒋冠军

北京大学讲席教授、计算机学院院长，欧洲科学院院士、日本工程院院士、IEEE会士、日本工学会会士，国家级高层次人才。1996年在日本东京大学获得博士学位。曾担任东京大学信息理工学研究科教授和日本国立信息学研究所教授/系主任。长期从事程序设计语言和软件科学与工程的研究，曾获全日本最佳博士论文奖、日本软件科学会基础研究成就奖，21世纪先驱科学家（日本科学技术振兴机构）。

报告题目：面向可信智能系统的安全编程语言：开发与证明一体化的路径与实践

报告摘要：

智能系统的可信性，最终取决于底层代码的正确性。然而长期以来，系统软件的开发与形式化验证相互分离，门槛高且效率低。本报告介绍一种面向开发与证明一体化的新型程序设计语言 C*：它将形式化证明直接嵌入 C 语言，使代码与证明在系统开发过程中紧耦合、同步演化，实现“开发即证明”，大幅降低系统软件形式化证明的门槛与成本。报告将结合 C* 语言的设计理念、当前进展与开放问题，与国内同行探讨这一方向的技术可行性与社区生态构建路径。