科研人员

 

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