CCF-华为胡杨林基金由CCF与华为联合发起，旨在通过搭建产学合作平台，连接产业实践问题与学术科研问题，支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域。
CCF-华为胡杨林基金形式化专项的主要目标为支持国内形式化方法的提升与竞争力构建，促进学术界与产业界合作、技术成果转化。
本专项中课题分为两类：
开放课题和产业课题。
开放课题
：不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力，实现关键基础技术底座自主、领先的相关课题；单课题原则上资助额度不超过15万，为期一年。
产业课题
：主要针对产业典型问题，持续提升形式化技术的能力上界、降低业界应用相关技术的门槛和成本，创造产业价值，形成本基金的正循环；单课题原则上资助额度不超过50万人民币，为期一年。
1、 可追溯的中间代码元数据生成
2、 面向Rust+C大规模代码的内存与并发缺陷分析技术
3、 基于抽象解释的RUST高效内存安全验证工具
4、 面向形式化验证的可靠二进制提升技术
5、 基于自动推理的ACSL规约生成
6、 可证明低代价大模型修复方法
申请日期
：即日起至2024年9月30日24:00 (北京时间)
结果公布时间
：2024年10月31日
