| 姓名 |
职称 |
研究方向 |
| 董韫美 |
研究员、院士 |
软件规约与软件设计方法 |
| 周巢尘 |
研究员、院士 |
分布式程序设计理论及实时系统的形式理论 |
| 林惠民 |
研究员、院士 |
并发理论及形式化方法 |
| 李明树 |
研究员 |
软件过程方法与技术 |
| 曹建文 |
研究员 |
计算机软件与理论 |
| 魏 俊 |
研究员 |
计算机软件 |
| 吴恩华 |
研究员 |
真实感成像和可视化技术 |
| 戴国忠 |
研究员 |
人机交互理论与应用 |
| 黄 涛 |
研究员 |
网络计算与对象语义 |
| 张 健 |
研究员 |
自动推理与软件测试 |
| 沈一栋 |
研究员 |
数据挖掘与人工智能 |
| 陈海明 |
研究员 |
软件设计和形式规约 |
| 蒋 颖 |
研究员 |
λ-演算与形式语义 |
| 柳欣欣 |
研究员 |
并发理论与应用 |
| 张文辉 |
研究员 |
模型检测与定理证明 |
| 王永吉 |
研究员 |
实时系统调度理论 |
| 王文成 |
研究员 |
计算机图形学 |
| 王宏安 |
研究员 |
人机交互和实时智能领域的理论与应用 |
| 焦 莉 |
研究员 |
并发理论与应用 |
| 李昂生 |
研究员 |
计算理论、数学逻辑 |
| 詹乃军 |
研究员 |
实时并发系统理论 |
| 张云泉 |
研究员 |
并行软件和并行计算 |
| 陈彦云 |
研究员 |
计算机图形学 |
| 李广元 |
副 研 |
实时系统模型及验证 |
| 刘学慧 |
副 研 |
计算机图形学 |
| 李勇坚 |
副 研 |
并发理论与应用 |
| 吕 毅 |
副 研 |
并发理论与形式化方法 |
| 张 昱 |
副 研 |
计算机软件与理论 |
| 夏盟佶 |
副 研 |
计算机理论、数理逻辑 |
| 吴 鹏 |
副 研 |
并发理论、模型检测与测试 |
| 吴志林 |
助 研 |
自动机与逻辑、形式验证 |
| 朱雪阳 |
助 研 |
电子系统设计自动化、形式化方法 |
| 季铮锋 |
助 研 |
量子计算 |
| 李 静 |
助 研 |
计算机图形学 |
| 晏荣杰 |
助 研 |
实时系统模型及验证 |
| 许中兴 |
助 研 |
程序静态分析 |
| 张震宇 |
助 研 |
软件测试、软件调试 |
| 王淑灵 |
博士后 |
软件形式化方法 |
| 杨潇潇 |
博士后 |
程序设计语言的形式语义、程序验证 |
| 金继伟 |
博士后 |
约束求解问题 |
| 刘 江 |
博士后 |
递归论、混成系统、形式化方法 |
| 朱嘉奇 |
博士后 |
软件形式化方法 |
| 徐 鸣 |
博士后 |
符号计算、程序验证、混成系统 |
| 宋 滢 |
博士后 |
真实感图形学以及虚拟现实应用 |
|
|
