 |
|
|||||||||||||||
 |
 |
 |
 |
 |
 |
|
||||||||||
|
|
|||||||||||||||
|
|
|||||||||||||||
|
|
|||||||||||||||
科研人员
| 姓名 | 职称 | 研究方向 |
| 董韫美 | 研究员、院士 | 软件规约与软件设计方法 |
| 周巢尘 | 研究员、院士 | 分布式程序设计理论及实时系统的形式理论 |
| 林惠民 | 研究员、院士 | 并发理论及形式化方法 |
| 李明树 | 研究员 | 软件过程方法与技术 |
| 曹建文 | 研究员 | 并行软件和并行计算 |
| 魏 俊 | 研究员 | 软件工程与分布式计算 |
| 吴恩华 | 研究员 | 真实感成象和可视化技术 |
| 戴国忠 | 研究员 | 人机交互理论与应用 |
| 黄 涛 | 研究员 | 网络计算与对象语义 |
| 张 健 | 研究员 | 自动推理与软件测试 |
| 沈一栋 | 研究员 | 数据挖掘与人工智能 |
| 陈海明 | 研究员 | 软件设计和形式规约 |
| 蒋 颖 | 研究员 | λ-演算与形式语义 |
| 柳欣欣 | 研究员 | 并发理论与应用 |
| 张文辉 | 研究员 | 模型检测与定理证明 |
| 王永吉 | 研究员 | 实时系统调度理论 |
| 王文成 | 研究员 | 真实感成象和可视化技术 |
| 王宏安 | 研究员 | 人机交互和实时智能领域的理论与应用 |
| 焦 莉 | 研究员 | 并发理论与应用 |
| 李昂生 | 研究员 | 计算理论 |
| 李广元 | 副研 | 实时系统模型及验证 |
| 刘学慧 | 副研 | 真实感成象和可视化技术 |
| 詹乃军 | 研究员 | 实时并发系统理论 |
| 张云泉 | 副研 | 并行软件和并行计算 |
| 李勇坚 | 副研 | 并发理论与应用 |
副研 |
形式验证与模型检测 |
|
| 张 昱 | 副研 | 计算机理论 |
| 朱雪阳 | 助研 | 实时系统模型及验证 |
| 季铮锋 | 助研 | 量子计算 |
| 李 静 | 助研 | 真实感成象和可视化技术 |
| 晏荣杰 | 助研 | 实时系统模型及验证 |
| 夏盟佶 | 助研 | 算法与计算复杂性 |
| 张震宇 | 助研 | 软件测试、软件调试 |
