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

本年度共资助5个产业课题项目和5个开放课题项目。

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

  

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

序号	申请人	单位	课题 类型	课题 名称
1	贺飞	清华大学	产业课题	C程序循环不变式自动生成技术研究
2	符鸿飞	上海交通大学	产业课题	数组以及指针相关循环不变式自动生成方法
3	孙猛	北京大学	产业课题	基于Mediator的面向协议建模语言设计及工具实现
4	王竟亦	浙江大学	产业课题	基于NLP的安全协议自动化建模技术研究
5	许智武	深圳大学	产业课题	面向unsafe代码的Rust库函数测试技术研究
6	张弘策	香港科技大学（广州）	开放课题	硬件模型检测中基于机器学习的启发式不变式生成方法的研究
7	甘庭	武汉大学	开放课题	基于非线性Craig插值技术的程序不变式自动生成
8	高凤娟	南京理工大学	开放课题	基于关键特征的程序性质预测模型的缺陷检测
9	祝义	江苏师范大学	开放课题	面向CPS 时空约束的资源建模及其安全性验证方法
10	沈博	西北工业大学	开放课题	场景驱动的智能系统关键属性评价测试用例自动生成方法研究

获资助项目将于2022年5月起陆续开题，进行为期一年的研究。在未来一年的合作里，华为将与各团队携手共进，推动科技创新和成果转化。

点击阅读原文，加入CCF。