部门

研究方向代码及名称

指导教师

补录

人数

联系地址

计算

机科

学国

家重

点实

验室

软件设计与分析方法、新型计算模型与应用

陈海明

2

chm@ios.ac.cn

并发理论与应用、并发系统分析与验证

焦 莉

ljiao@ios.ac.cn

程序分析与验证

詹乃军、吴志林、李勇坚

znj@ios.ac.cn

概率模型验证与分析

张立军

zhanglj@ios.ac.cn

混成系统安全性验证

薛 白

xuebai@ios.ac.cn

计算机图形学与虚拟现实

王文成

whn@uscas.ac.cn

程序分析与软件测试

张震宇

zhangzy@ios.ac.cn

基础软件国家

工程研究中心

软硬件深度融合

杨秋松、马恒太、李文波等

3

wenbo@nfs.iscas.ac.cn

软件分析与系统安全

李明树、贺也平

软件

工程

中心

网络分布计算理论与技术

黄涛、金蓓弘等

4

yedan@otcaix.iscas.ac.cn

分布式软件理论与技术

钟华、魏峻、

叶丹等

智能

软件

研究

中心

智能基础理论与系统，智能系统软件

赵 琛、武延军

2

jiran@iscas.ac.cn

软件与智能系统安全性

薛云志、吴敬征

智能计算编译工具链

李 玲

人机交互

人机交互，实时智能

王宏安、乔颖

1

cuixia@iscas.ac.cn