基础研究中心当前着重于研究“人-机-物”三元融合环境下智能化网构软件理论与方法,以及支撑软件自主适应和持续演化的情境感知、适应决策与在线更新等关键技术,工作涉及软件工程、系统软件、分布计算和机器学习等多个研究领域。
DisAlg: Distributed Algorithm Group
小组负责人: 黄宇、魏恒峰.
DSE: Dynamic Software Evolution Group
小组负责人: 马晓星.
SPAR: System & Program Analysis Research Group
小组负责人: 马晓星、许畅、蒋炎岩、秦逸.
PASCAL: Programming Languages and Static Analysis Group
小组负责人: 李樾、谭添.