返回首页

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

阅读量:585 2022-04-19 收藏本文

“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月起陆续开题,进行为期一年的研究。  



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