CCF-华为胡杨林基金-形式化专项正式发布

阅读量:2248 2021-12-15 收藏本文

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

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

• 推动我国形式化方法进步与竞争力构建；

• 培养形式化人才；

• 促进学术界与产业界合作、技术成果转化。

2022年度CCF-华为胡杨林基金-形式化专项共发布以下5个课题：

1、 C程序循环不变式自动生成技术研究

2、面向协议的自动/辅助建模技术研究

3、具有可扩展性的并发程序静态分析技术研究

4、具有可扩展性的代码路径可达性求解验证

5、面向Rust程序和库函数的分析与测试技术研究

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

申请日期：即日起至2022年3月5日24:00