返回首页
启动申报丨2024年 CCF-华为胡杨林基金软件工程专项（鸿蒙专题）
CCF-华为胡杨林基金下的软件工程专项，旨在持续提升软件工程理论和技术研究在产业应用落地的效果；建立更加敏捷高效的产、学、研一体化科研合作与成果转化体系；逐步形成“既有领域广度又有专业深度”的人才联合培养和输送模式；为产业全面升级储备能力，实现关键基础技术底座自主、领先。
为促进鸿蒙生态和相关产业在中国的健康发展，特设立CCF-华为胡杨林基金软件工程专项鸿蒙专题，助力前瞻性地构建鸿蒙相关关键技术竞争力。专题资助激励高校学者与产业界专家合作进行鸿蒙相关前沿技术的研发，推动产业创新发展。
在10月25号，华为云BU PaaS技术创新Lab Lab主任王千祥在CNCC 2024 CCF-华为胡杨林-软工专项基金论坛代表华为终端BG、华为云BU发布本次拟赞助的10个课题。课题方向见下：
| 编号 | 软件工程—鸿蒙专题课题方向 |
SE-Harmony-01 | 基于大模型的代码安全漏洞挖掘 |
SE-Harmony-02 | 基于大模型的代码污点分析建模 |
SE-Harmony-03 | 人工智能辅助工业设计 |
SE-Harmony-04 | 鸿蒙UX代码自动生成技术 |
SE-Harmony-05 | 鸿蒙隐私声明AI自动生成技术 |
SE-Harmony-06 | 鸿蒙代码数据扩写与增强 |
SE-Harmony-07 | ArkUI跨组件生命周期的隐式信息流追踪技术 |
SE-Harmony-08 | 针对问题单解决的Multi-Agent能力提升 |
SE-Harmony-09 | 多Agent协作完成面向生成过程的鸿蒙应用开发 |
SE-Harmony-10 | 鸿蒙生态软件供应链安全风险识别技术 |
课题申报截止时间为 2024 年 11月 30 日 24:00（北京时间）。
申请人填写并发送《CCF-华为胡杨林基金—软件工程（鸿蒙专题）-2024年度申报表》到ccf_tcse@ccf.org.cn，标题请注明【申报】。每个申请人每年度最多可以申报一个课题。申请人在申报前需确认所在高校/科研院所可以作为项目依托单位签署科研合作协议，申请人本人可以作为项目负责人签署项目保密协议等相关承诺文件。任何针对项目申报的问题，请联系基金项目负责人，电子邮箱：ccf_tcse@ccf.org.cn，标题请注明【问题】。同时在《附件二：CCF-华为胡杨林基金—软件工程（鸿蒙专题）-2024年度申报课题及说明》中有华为内部负责人及联系方式，欢迎与负责人进行课题沟通。
针对申请中的问题，将于11月15日CCF 中国软件大会 CCF-华为胡杨林基金软工专项论坛和在线会议进行课题宣讲&答疑，线上参会指南见下：
主题: CCF-华为胡杨林基金-软工专项 鸿蒙专题 发布课题Q&A |
时间: 11/15(周五) 21:15-21:45 (UTC+08:00)Beijing |
External：https://app.huawei.com/wmeeting/join/98077001/xe3D0HbHGpWEZmGN9A75mfu2tiLBx6t44 |
会议ID：98077001 |
会议密码：920492 |
附件一：CCF-华为胡杨林基金—软件工程（鸿蒙专题）-2024年度专题申报指南v1.0
附件二：CCF-华为胡杨林基金—软件工程（鸿蒙专题）-2024年度申报课题及说明 v1.3
2024年度CCF-华为胡杨林基金-形式化专项评审结果公示
2024年度CCF-华为胡杨林基金-形式化专项于2024年8月2日发布申报课题方向指南，并同步开启申报。
本年度共设6个产业课题方向：
可追溯的中间代码元数据生成；
面向Rust+C大规模代码的内存与并发缺陷分析技术；
基于抽象解释的RUST高效内存安全验证工具；
面向形式化验证的可靠二进制提升技术；
基于自动推理的ACSL规约生成；
可证明低代价大模型修复方法。
开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力的课题。
至截止时间（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个资助项目信息如下（排名不分先后）：
姓名 | 单位 | 课题类型 | 项目名称 |
时清凯 | 南京大学 | 产业课题 | 面向跨语言（Rust/C）代码的内存与并发缺陷分析技术研究 |
符鸿飞 | 上海交通 大学 | 产业课题 | 基于约束求解方法的ACSL规约生成 |
王竟亦 | 浙江大学 | 产业课题 | 大模型缺陷根因溯源及定向可证明修复方法研究 |
周明洋 | 深圳大学 | 产业课题 | 基于贝叶斯估计和数据分布扰动的大模型修复方法 |
罗川 | 北京航空 航天大学 | 开放课题 | 布尔可满足性采样技术研究 |
张羽丰 | 湖南大学 | 开放课题 | 基于符号执行、采样及模糊测试的混合测试方法 |
袁胜浩 | 浙江大学 | 开放课题 | eBPF Just-In-Time 编译器端到端形式化验证方法 |
潘颖慧 | 深圳大学 | 开放课题 | 基于表示工程的大语言模型输出可读性技术研究 |
曹永知 | 北京大学 | 开放课题 | 线性时序逻辑合成问题的关键技术研究及其实现 |
产学研融合助力科研探索，2024年度“CCF-蚂蚁科研基金隐私计算专项&绿色计算算效专项”正式发布
10月24日，第二十一届CNCC 2024，2024年度CCF-蚂蚁科研基金隐私计算专项&绿色计算算效专项于蚂蚁集团主办的“产学研融合助力科研探索暨CCF-蚂蚁科研基金发布论坛”上正式对外发布，面向相关专业领域的学者专家开放数十项课题，专注攻克绿色计算及隐私计算相关科研难题，发挥产学研深度融合优势，以创新驱动发展，合力突破技术瓶颈。申报截止时间为北京时间2024年11月24日24:00。
CCF-蚂蚁科研基金（隐私计算专项）
蚂蚁集团从2016年开始探索隐私计算技术和规模化产业应用。蚂蚁可信隐私计算的核心技术已全部开源，包括“隐语”可信隐私计算框架、“星绽”操作系统和安全可信底座等。此外，蚂蚁集团也积极参与一系列的技术标准制定，包括在数据离开运维域后的仍然能有效管控的数据跨域管控标准、对不同隐私计算技术安全性进行统一衡量的通用安全分级标准，以及受控环境下的数据匿名化标准等，并积极推动产学研届共建与合作，助力数据要素价值释放。
隐私计算是数据要素可信流通的关键技术，是当下学术和产业研究的重要方向，也是助力我国数字经济发展的关键举措。为推动隐私计算技术创新发展，助力解决隐私计算领域核心问题。
2022 年蚂蚁集团在“CCF-蚂蚁科研基金框架下与CCF联合发布 “CCF-蚂蚁科研基金隐私计算专项并宣布面向全球开发者正式开源可信隐私计算框架“隐语”，支持数据要素产业更加安全健康的发展。 2023年隐私计算专项第二期发布，聚焦数据要素流通的关键技术，重点突出隐私计算技术与 AI 算法和算力的深度融合 。以“隐语”开源框架为研究载体，围绕隐私计算产业应用场景开展研究，形成具有可落地性的技术能力与方法论，以技术手段助力数据要素市场化。
2024年CCF-蚂蚁科研基金隐私计算专项第三期发布，本次基金共发布16个课题，计划投入约300万。将围绕隐私可信机密计算、密码学、隐私+大模型等相关方向，持续探索下一代隐私计算技术，力求像明文计算一样高效易用，让数据价值的流动像自来水一样即开即用。发挥产学研深度融合优势，以创新驱动发展，合力突破技术瓶颈。
CCF-蚂蚁科研基金（绿色计算算效专项）
在科技支撑“双碳”政策的号召下，提升算力效率是全球领先科技企业的共同重要命题，社会对于算力的需求一直在持续增长，蚂蚁集团作为国内首批研发和实践“绿色计算”技术的科技企业，于 2019 年开始摸索提高资源利用率的“绿色计算”技术，并于 2021年 3 月正式宣布碳中和目标。
2022年，在“CCF-蚂蚁科研基金”框架下发布国内科技行业首支“绿色计算”主题科研基金，旨在响应科技支撑“双碳”政策号召，以科技减轻碳排放，让算力更绿色，从而为“双碳”战略的实现提供技术储备。
伴随 ChatGPT 的出现，带动了AI大模型技术和产业应用的爆发式增长，其对智能计算的工作负载算力需求明显增长，底层算力的资源约束已成为企业发展和使用大模型的关键卡点，算力是数字经济时代的主要生产力和重要驱动，包含了计算能力、存储能力、网络运载能力、服务能力等多个方面能力。面对 GenAI 时代的挑战，蚂蚁将绿色计算技术延伸到智算领域，平衡算存运配置的均衡性，打造基于算力经济模型的集群调度，同时通过高效的训推一体平台提升 GPU 的使用效率，降低智算数据中心的碳排放。
2024年，“CCF-蚂蚁科研基金绿色计算算效专项”计划投入500万，聚焦算力服务、算力治理、智算网络、AI Infra 和模型算法这五个方向，共推出21项研究课题，蚂蚁集团希望和学术界一起合作，一起探索更加绿色的智能未来。
“CCF-蚂蚁科研基金”于2020年由蚂蚁集团与中国计算机学会联合发起。基金面向全球高校学者搭建产学研合作及学术交流平台，连接产业实践问题与学术科研问题，支持学者开展与产业结合的前沿科研工作。蚂蚁科研基金自运作4年来，受到了全球学者的广泛关注，累计基金支持额度近4000万，吸引近千位专家学者进行申报，支持超百个科学研究项目，在人工智能、软件工程、区块链、数据安全、数据库、物联网等领域全面展开科研工作，多项研究成果在蚂蚁集团的业务场景得到应用。
可点击以下链接直接申报：https://www.antresearch.com/Cooperation/CcfFunds
【附件一】2024年CCF-蚂蚁科研基金绿色计算算效专项-项目申报指南
【附件二】2024年CCF-蚂蚁科研基金绿色计算算效专项-申报课题介绍
【附件三】2024年CCF-蚂蚁科研基金绿色计算算效专项 -申报书模板
【附件一】2024年CCF-蚂蚁科研基金隐私计算专项-项目申报指南
【附件二】2024年CCF-蚂蚁科研基金隐私计算专项-申报课题介绍
京公网安备 11010802032778号
