| 项目负责人 | 吴志林 |
| 依托单位 | 中国科学院软件研究所 |
| 立项年份 | 2025 |
| 资助来源 | 国家自然科学基金 |
工具
该负责人其他项目
- 分布式流处理程序的分析与验证（国自然，吴志林，2018）
- 动态数据结构的形状性质与数据约束：基于分离逻辑的自动分析与验证（国自然，吴志林，2014）
- 高速投射物与粘弹性非生物组织的相互作用机制研究（国自然，吴志林，2013）
- 无穷字母表上的形式模型：逻辑与自动机（国自然，吴志林，2011）
中国科学院软件研究所其他项目
- 教育智能体陪伴学习下的认知耦合理论和关键技术研究（国自然，周超，2025）
- 大模型情感价值对齐认知及可信决策理论研究（国自然，孙乐，2025）
- 面向数据通路逻辑等价性验证的并行SAT求解技术研究（国自然，张昕荻，2025）
- 面向自监督表示学习的因果机理和方法研究（国自然，强文文，2025）
- 面向跨平台互操作的分布式数字身份信任机制研究（国自然，徐静，2025）
- 软硬协同的机密计算操作系统高可扩展性研究（国自然，李明煜，2025）
- 基于物理引导和因果干预的声纳图像跨场景识别方法（国自然，李雪薇，2025）
- 基于电触觉的力觉特征呈现技术（国自然，林宏南，2025）