返回首页

2023年度CCF-华为胡杨林基金形式化专项开启申报

阅读量:1813 2023-04-28 收藏本文

CCF-华为胡杨林基金由CCF与华为联合发起,旨在通过搭建产学合作平台,连接产业实践问题与学术科研问题,支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域。

CCF-华为胡杨林基金形式化专项的主要目标为支持国内形式化方法的提升与竞争力构建,促进学术界与产业界合作、技术成果转化。

本年度申报课题分为两类:开放课题和产业课题

•开放课题不限定具体研究内容,主要资助具有前瞻性、前沿性、能为产业全面升级储备能力,实现关键基础技术底座自主、领先的相关课题。

•产业课题主要针对产业典型问题,持续提升形式化技术的能力上界、降低业界应用相关技术的门槛和成本,创造产业价值,形成本基金的正循环。

本年度拟资助的5个产业课题方向:

1. 自适应精度的抽象解释技术

2. TLS协议栈代码功能形式化验证

3. 基于局部搜索的程序轻量形式化验证技术

4. 分布式异步时序问题分析检测技术

5. 基于RISC-V实现的带可信执行环境处理器的形式化验证技术


申请日期:即日起至2023年6月5日24:00 (北京时间)

申请方式:填写申报表发送至zhangyanyong@huawei.com 。


课题宣讲相关

针对本年度申报课题,CCF联合华为举行课题宣讲会。

宣讲时间:2023年5月5日 16:00-17:30 (GMT+08:00)

宣讲形式:

1、通过CCF视频号预约直播

微信图片_20230428114335

2、腾讯会议参会:

https://meeting.tencent.com/dm/7q33QSCFHldL

宣讲安排(每个课题方向 10分钟宣讲,5分钟答疑):

时间

主题

宣讲人

16:10~16:15

2012马实室主任开场

秦胜潮

16:15~16:30

自适精度的抽象解

王秋野

16:30~16:45

TLS协议栈功能形式化验证

王秋野

16:45~17:00

基于局部搜索的程序轻量形式化验证技术

李昊坤

17:00~17:15

分布式异步问题分析检测

佳霖

17:15~17:30

基于RISC-V可信境处理器的形式化验证


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

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