基础软件与系统重点实验室（计算机科学国家重点实验室）招生宣讲
天基综合信息系统全国重点实验室招生宣讲
软件所2023年公众科学日精彩瞬间
振兴有监督低光图像增强器：学习无源快速场景适应
智能软件研究中心招生宣讲
人机增强智能计算平台
面向人机物三元空间复杂运动叠加的人机交互理论与技术
模型检查导向的分布式系统增量测试方法
面向手物交互理解的三维高斯泼溅数据增强方法
基于时序分解的有效波高非平稳性建模
基于大语言模型的更泛化的异构图表示学习方法
演示测试：利用失效演示迁移对竞争环境智能体进行测试
面向多模态大模型领域适应失配问题的因果前门校正方法
天智2C及星地协同任务规划系统
检测关系型数据库中的隔离异常
基于高斯杂波截断的多尺度特征增强SAR水体检测
rIC3硬件模型检测求解器
MULoc: 通过锚点监听实现无限数量UWB标签的毫米级定位
基于时态逻辑规则学习的可解释时间序列分类
HACK@DATE 2025 RISC-V硬件漏洞挖掘竞赛冠军
