- [1] 多智能体协同行为的形式化语义与可信验证机制研究，江苏省基础研究计划-青年基金项目
- [2] 量子软件的程序演算与动态逻辑，外国专家项目个人S类
- [3] 合同解析智能体研发
- [4] 低空无人机安全管控关键技术研究
- [5] 基于主动学习的小样本大模型微调项目，子课题负责人
- [6] 刘艾双创跟补奖
- [7] 刘艾国家下拨高层次人才科研经费
- [8] 面向自适应软件的基于测试的形式化方法
- [9] 信息物理系统中复杂并发行为的形式化建模与验证，参与，国家自然科学基金面上项目, 2018-2021
- [10] 高可信深度学习：理论与技术，参与，广东省重点领域研发项目, 2019-2021
| |