CCF-华为胡杨林基金是华为面向泛计算领域的综合科研基金，旨在通过搭建产学合作平台，连接产业实践问题与学术科研问题，支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域，累计投入金额千万级人民币，未来会依托CCF学会平台发布更多领域基金项目。

CCF-华为胡杨林基金-形式化专项的主要目标为支持我国形式化方法的发展：

• 推动我国形式化方法进步与竞争力构建；
• 培养形式化人才；
• 促进学术界与产业界合作、技术成果转化。

课题分类

本专题中课题主要分为两类：开放课题和产业课题。开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力，实现关键基础技术底座自主、领先的相关课题。产业课题主要为了持续提升当前相关 State of the art 技术的能力上界，针对典型问题持续降低业界应用相关技术的门槛和成本，创造产业价值，形成本基金的正循环。

基金池

2022 年度形式化专题基金池共计 360万人民币，其中开放课题 100万人民币，产业课题260万人民币。

开放课题

单课题原则上资助不超过 25万，为期一年。鼓励开展同产业痛点、共性问题结合紧密的相关研究。鼓励进行前沿基础性的新研究方向和技术路径的探索。

产业课题

单课题原则上资助额度为 40-60万人民币，为期一年。提交成果中原则上需要包含源代码。2022年度CCF-华为胡杨林基金-形式化专项共发布以下5个课题：

1. C程序循环不变式自动生成技术研究
2. 面向协议的自动/辅助建模技术研究
3. 具有可扩展性的并发程序静态分析技术研究
4. 具有可扩展性的代码路径可达性求解验证
5. 面向Rust程序和库函数的分析与测试技术研究

提交方式及时间

具体内容和要求请见2022年度申报表&申报方向与课题。

• 申请日期：即日起至2022年3月5日24:00
• 申请方式：填写附件《申报表》,并发送[email protected]。

产业课题详细要求

申请表及详细信息：https://www.ccf.org.cn/Collaboration/Enterprise_Fund/News/2021-12-15/751400.shtml

安全学术圈招募队友-ing, 有兴趣加入学术圈的请联系secdr#qq.com