2024年度CCF-华为胡杨林基金-形式化专项评审结果公示

2024年度CCF-华为胡杨林基金-形式化专项于2024年8月2日发布申报课题方向指南，并同步开启申报。

本年度共设6个产业课题方向：

开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力的课题。

至截止时间（2024年9月30日24:00），共收到项目申请书36份，其中产业课题10份，开放课题26份。

由CCF形式化方法专委会和华为各自派驻3位专家组成的评审委员会组织评审。评审分为通讯评审和会议评审两个阶段，采取了同单位专家回避原则。

在第一阶段中，评审委员会从10月15日到10月21日对项目申请进行了通讯评审。对于产业课题，评审专家按照课题相关性、研究背景匹配度、技术先进性及合理性、项目交付风险、研究计划、交付件、可落地性等七个纬度进行了评分，每个项目申请最终分数为这七项评分之和。

对于开放课题，评审专家按照形式化技术/产业课题相关性、研究背景匹配度、技术先进性及合理性、研究计划、交付件、应用价值等六个纬度进行了评分，每个项目申请最终分数为这六项评分之和。每个项目申请通讯评审最终得分为所有评审专家分数的平均值（同单位专家除外）。

在第二阶段中，10月22日晚召开了线上会议，对CCF-胡杨林基金形式化方法专项项目申请进行了会议评审。会议评审由华为形式化验证科学家、费马实验室主任秦胜潮主持，采取同单位专家回避原则，在专家充分发表意见的基础上，以全员表决的方式确定最终资助项目。本次评审过程的所有信息均备案可查。

最终，经过评审委员会两个阶段的评审，确定了2024年度资助产业课题项目4项、开放课题项目5项。按计划，本年度资助项目于2025年1月开题，2025年6月中期审视，2025年12月进行答辩结题。

9个资助项目信息如下（排名不分先后）：