近日，我院祝义教授申报的项目“面向CPS 时空约束的资源建模及其安全性验证方法”获得“CCF-华为胡杨林基金-形式化专项”基金资助。

CCF-华为胡杨林基金是华为面向泛计算领域的综合科研基金，旨在通过搭建产学合作平台，连接产业实践问题与学术科研问题，支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域，累计投入金额千万级人民币。CCF-华为胡杨林基金-形式化专项的主要目标为支持我国形式化方法的发展：推动我国形式化方法进步与竞争力构建；培养形式化人才；促进学术界与产业界合作、技术成果转化。2022年度形式化专题基金池共计 360万人民币。

“CCF-华为胡杨林基金-形式化专项”分为开放课题和产业课题。中国计算机学会形式化方法专业委员会和华为于2021年12月15日发布5个产业课题：C程序循环不变式自动生成技术研究、面向协议的自动/辅助建模技术研究、具有可扩展性的并发程序静态分析技术研究、具有可扩展性的代码路径可达性求解验证、面向Rust程序和库函数的分析与测试技术研究。开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力的课题。评审注重课题相关性（限产业课题）、研究基础、技术先进性、工程可实现性（限产业课题）、研究计划合理性、应用价值及可落地性（限产业课题）等，共有来自10所高校的10位学者项目入选。获资助项目将于2022年5月起陆续开题，进行为期一年的研究。在未来一年的合作里，华为将与获得资助的团队携手共进，推动科技创新和成果转化。

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