张立波，博士生导师、副研究员。主要研究方向为人工智能，在相关领域 会议和期刊发 表学术论文 60多篇，获得全国 科普作品、中国计算机学会 科普创作人、中国龙奖提名等荣誉。 武延军， 软件研究所副所长、总工程师、博士生导师、研究员。入选 人才 计划，主要研究方向为操作系统，兼任开源鸿蒙技术委员会委员、中电标协RISC-V工委会 轮值会长，曾任开源欧拉社区委员会副 、RISC-V 基金会技术委员会委员。 赵琛， 软件研究所所长、博士生导师、研究员。长期从事形式逻辑、程序语言和基础软件科研工作，曾获 政府特殊津贴和 科技进步奖二等奖。

张立波，博士生导师、副研究员。主要研究方向为人工智能，在相关领域 会议和期刊发 表学术论文 60多篇，获得全国 科普作品、中国计算机学会 科普创作人、中国龙奖提名等荣誉。 武延军， 软件研究所副所长、总工程师、博士生导师、研究员。入选 人才 计划，主要研究方向为操作系统，兼任开源鸿蒙技术委员会委员、中电标协RISC-V工委会 轮值会长，曾任开源欧拉社区委员会副 、RISC-V 基金会技术委员会委员。 赵琛， 软件研究所所长、博士生导师、研究员。长期从事形式逻辑、程序语言和基础软件科研工作，曾获 政府特殊津贴和 科技进步奖二等奖。