返回首页
您的位置:首页 > 合作 > 联合实验室

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

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

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

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

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

培养形式化人才;

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

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

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

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

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

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

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

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

申请日期:即日起至20223524:00

申请方式:填写附件《申报表》,并发送wangluotao@huawei.com。

2022年度CCF-华为胡杨林基金—形式化专项申报方向与课题

2022年度CCF-华为胡杨林基金—形式化专项申报表