2022年度“CCF-华为胡杨林基金-形式化专项”评审结果公布

“CCF-华为胡杨林基金-形式化专项”分为开放课题和产业课题。中国计算机学会形式化方法专业委员会和华为于2021年12月15日发布5个产业课题：C程序循环不变式自动生成技术研究、面向协议的自动/辅助建模技术研究、具有可扩展性的并发程序静态分析技术研究、具有可扩展性的代码路径可达性求解验证、面向Rust程序和库函数的分析与测试技术研究。开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力的课题。自基金发布后，受到了国内科研学者的广泛关注，本年度共收到有效项目申请25项，其中产业课题申请15项，开放课题申请10项。学会形式化方法专委会和华为各3位专家组成的专家组对项目从课题相关性（限产业课题）、研究基础、技术先进性、工程可实现性（限产业课题）、研究计划合理性、应用价值及可落地性（限产业课题）等进行了综合评审，评选出5个产业课题项目和5个开放课题项目。

2022年度“CCF-华为胡杨林基金-形式化专项”评审结果公布如下：

获资助项目将于2022年5月起陆续开题，进行为期一年的研究。  

在未来一年的合作里，华为将与各团队携手共进，推动科技创新和成果转化。