CCF-华为胡杨林基金由CCF与华为联合发起，旨在通过搭建产学合作平台，连接产业实践问题与学术科研问题，支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域。

CCF-华为胡杨林基金形式化专项的主要目标为支持国内形式化方法的提升与竞争力构建，促进学术界与产业界合作、技术成果转化。

本年度申报课题分为两类：开放课题和产业课题。

1.开放课题：不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力，实现关键基础技术底座自主、领先的相关课题，最高资助额度不超过15万。

2.产业课题：主要针对产业典型问题，持续提升形式化技术的能力上界、降低业界应用相关技术的门槛和成本，创造产业价值，形成本基金的正循环，最高资助额度不超过50万。

本年度拟资助的6个产业课题方向：

1、基于大模型的可形式化证明代码生成

2、面向形式化验证的RUST通用借用演算中间语言技术

3、基于TLA⁺模型的设计与代码功能一致性检查技术

4、面向TypeScript语言的轻量级形式化分析

5、面向大规模代码的神经符号融合分析

6、AI增强大规模 Trace 的预测分析技术

申请日期：即日起至2025年8月31日24:00 (北京时间)

如何申报：

1、下载、查看附件二《2025年度CCF-华为胡杨林基金形式化专项申报方向与课题》；

2、下载、填写附件一《2025年度CCF-华为胡杨林基金形式化专项申报表》，并发送maoxia1@huawei.com（标题注明【课题申报】）；

关于课题解析交流会

为了使意向申报学者更好的了解本年度指南内容，形式化专项基金特别安排了指南解析交流会，由华为侧专家进行课题详细介绍：

时间：2025年7月5日 16:10-18:00 (GMT+08:00)

形式：CCF视频号直播、Wemeeting会议

1、直播海报

2、会议链接：

课题解析议程（每个课题方向 10分钟解析，5分钟答疑）：

 附件一 2025年度CCF-华为胡杨林基金形式化专项申报表

 附件二 2025年度CCF-华为胡杨林基金形式化专项申报方向与课题

 附件三：CCF-华为胡杨林基金—形式化-技术委员会名单