| 姓名 |
邮箱 |
研究方向 |
| 陈世腾 |
chenst (at) ios.ac.cn |
软件工程、程序分析 |
| 窦文生 |
wsdou (at) otcaix.iscas.ac.cn |
软件工程、程序分析 |
| 范向民 |
Xiangmin (at) iscas.ac.cn |
人机交互，人机协同 |
| 何小伟 |
xiaowei (at) iscas.ac.cn |
计算机图形学与物理仿真 |
| 侯飞 |
houf (at) ios.ac.cn |
计算机图形学 |
| David Jansen |
dnjansen (at) ios.ac.cn |
Model based system development |
| 李勇坚 |
lyj238 (at) ios.ac.cn |
并发理论与应用 |
| 刘杰 |
ljie (at) otcaix.iscas.ac.cn |
大数据挖掘分析平台及优化关键技术，研究大数据分析开发环境、大数据分布式系统、分布式机器学习系统、自动化机器学习等；知识图谱与语义计算，研究知识图谱构建管理、问答系统等 |
| 刘学慧 |
lxh (at) ios.ac.cn |
大规模场景的快速成像技术、基于图像的建模技术 |
| 吕毅 |
lvy (at) ios.ac.cn |
形式验证和模型检测 |
| 李杨佳 |
yangjia (at) ios.ac.cn |
计算机程序验证； 量子信息理论；量子软件理论 |
| Andrea Turrini |
turrini (at) ios.ac.cn |
formal analysis of processes involving probability and nondeterminism. |
| 王俊杰 |
junjie (at) iscas.ac.cn |
智能软件工程，软件库挖掘 |
| 王淑灵 |
wangsl (at) ios.ac.cn |
软件形式化方法 |
| 王焘 |
wangtao (at) otcaix.iscas.ac.cn |
云计算、大数据系统 |
| 吴国全 |
gqwu (at) otcaix.iscas.ac.cn |
软件工程、服务计算、中间件、工作流、移动计算 |
| 吴敬征 |
Jingzheng08 (at) iscas.ac.cn |
漏洞挖掘，移动终端安全，操作系统安全，隐蔽信道，云计算 |
| 吴鹏 |
wp (at) ios.ac.cn |
并发理论、模型检测与测试、机器学习 |
| 许利杰 |
xulijie (at) otcaix.iscas.ac.cn |
大数据系统、分布式数据分析、流式机器学习 |
| 杨绍发 |
yangsf (at) ios.ac.cn |
机器人集群控制算法 |
| 杨潇潇 |
xxyang (at) ios.ac.cn |
程序语言、形式化方法、并发数据结构与多核编程 |
| 应圣钢 |
yingsg (at) ios.ac.cn |
量子系统的验证，量子保密机器学习 |
| 詹博华 |
bzhan (at) ios.ac.cn |
交互式定理证明 |
| 张昱 |
yzhang (at) ios.ac.cn |
程序设计语言理论、形式化信息安全技术、函数式程序设计语言（在金融及数据分析方面的应用） |
| 张扶桑 |
zhangfusang (at) otcaix.iscas.ac.cn |
普适计算、移动计算、智能感知 |
| 张震宇 |
zhangzy (at) ios.ac.cn |
Software engineering (software testing and software debugging, in particular)，Verification, Programming language，Wireless sensor networks (WSN), cloud computer, service computing |
| 朱嘉奇 |
zhujq (at) ios.ac.cn |
时序模式挖掘，异常检测 |
| 晏荣杰 |
yrj (at) ios.ac.cn |
实时、嵌入式系统的分析与设计，形式化方法 |
| 朱雪阳 |
zxy (at) ios.ac.cn |
嵌入式系统设计、形式化方法 |
