| 姓名 |
邮箱 |
研究方向 |
| Georgios Barmpalias |
barmpalias (at) ios.ac.cn |
Social Networks and Discrete Dynamical Systems, Algorithmic Information and Kolmogorov Complexity, Algorithmic and Computational Learning, Computability and Mathematical Logic |
| 蔡少伟 |
caisw (at) ios.ac.cn |
组合优化与算法工程，具体包括：组合优化问题求解，逻辑问题求解，启发式算法，基于学习的自动算法设计 |
| 蔡彦 |
yancai (at) ios.ac.cn |
程序语言分析与软件测试理论 |
| 曹建文 |
jianwen (at) iscas.ac.cn |
大规模科学与工程计算中的并行处理算法、线性方程组的求解方法与预处理算法、非线性方程组的高效求解技术、以大规模油藏数值模拟为主要背景的Terascale高性能计算软件技术、针对Simbest-II商业软件的高效并行处理技术和非线性问题并行求解器软件包 |
| 陈海明 |
chm (at) ios.ac.cn |
软件设计与分析方法，数据与计算模型 |
| 陈辉 |
chenhui (at) iscas.ac.cn |
人机交互 |
| 陈彦云 |
chenyy (at) ios.ac.cn |
计算机图形学 |
| 丁治明 |
zhiming (at) iscas.ac.cn |
数据库与知识库系统、数据科学与数据智能、物联网大数据实时系统 |
| 冯登国 |
feng (at) is.iscas.ac.cn |
可信计算与信息保障、网络与信息安全 |
| 韩先培 |
hanxianpei (at) qq.com |
大规模知识图谱构建及智能信息服务技术 |
| 贺也平 |
yeping (at) iscas.ac.cn |
操作系统安全、可信计算技术、隐私保护 |
| 黄涛 |
huangtao (at) iscas.ac.cn |
网络计算与对象语义 |
| 焦莉 |
ljiao (at) ios.ac.cn |
形式化方法、并发理论与应用 |
| 金蓓弘 |
jbh (at) otcaix.iscas.ac.cn |
移动计算，普适计算，分布式系统 |
| 李广元 |
ligy (at) ios.ac.cn |
时系统的形式验证、时序逻辑、形式化方法 |
| 李会元 |
huiyuan (at) iscas.ac.cn |
并行计算与软件 |
| 李玲 |
liling (at) iscas.ac.cn |
智能计算、视频处理 |
| 李玉成 |
yucheng (at) iscas.ac.cn |
大规模科学与工程计算的方法与软件，高性能并行数学软件库的研制等 |
| 柳欣欣 |
xinxin (at) ios.ac.cn |
计算机科学理论及并发程序模型与算法 |
| 马菲菲 |
feifei (at) iscas.ac.cn |
自动推理与约束求解 |
| 沈一栋 |
ydshen (at) ios.ac.cn |
数据挖掘与人工智能 |
| 苏璞睿 |
purui (at) iscas.ac.cn |
软件安全，漏洞分析与检测，网络攻击防御 |
| 孙乐 |
sunle (at) iscas.ac.cn |
自然语言理解 |
| 田丰 |
tianfeng (at) iscas.ac.cn |
人机交互相关研究工作，在笔式界面模型和方法、复杂笔迹结构理解和智能交互技术，笔式人机交互关键应用 |
| 王宏安 |
hongan (at) iscas.ac.cn |
自然人机交互, 实时智能技术 |
| 王青 |
wq (at) iscas.ac.cn |
智能软件工程 |
| 王伟 |
wangwei (at) otcaix.iscas.ac.cn |
分布式计算, 软件工程 |
| 王文成 |
whn (at) ios.ac.cn |
虚拟现实，可视分析，图像编辑 |
| 王永吉 |
ywang (at) itechs.iscas.ac.cn |
云计算、物联网、嵌入式系统、虚拟化技术、隐蔽信道、网络技术、实时系统、人工智能、数据挖掘、软件工程 |
| 魏峻 |
weijun (at) iscas.ac.cn |
软件工程、分布式计算 |
| 吴恩华 |
ehwu (at) umac.mo |
虚拟现实、真实感图形生成、基于物理的仿真与实时计算、基于物理的建模与绘制 、图像与视频的处理与建模 |
| 吴文玲 |
wwl (at) tca.iscas.ac.cn |
信息安全、密码学 |
| 武斌 |
wubin (at) iscas.ac.cn |
|
| 武延军 |
yanjun (at) iscas.ac.cn |
操作系统和系统安全 |
| 吴志林 |
wuzl (at) ios.ac.cn |
程序的自动分析与验证，计算逻辑，形式语言与自动机理论 |
| 夏盟佶 |
xmj (at) ios.ac.cn |
计数复杂性、张量网络 |
| 薛白 |
xuebai (at) ios.ac.cn |
混成系统及AI的形式化验证 |
| 徐进 |
xu_jin (at) iscas.ac.cn |
|
| 徐静 |
xujing (at) tca.iscas.ac.cn |
应用密码学、安全协议 |
| 严俊 |
yanjun (at) ios.ac.cn |
程序分析与软件测试 |
| 詹乃军 |
znj (at) ios.ac.cn |
实时和混成系统、信息物理融合系统、形式化方法、计算语义模型、程序验证 |
| 张斌 |
zhangbin (at) tca.iscas.ac.cn |
流密码及对称密码的设计与分析 |
| 张健 |
zj (at) ios.ac.cn |
软件工程、人工智能（自动推理；约束求解；软件测试；代码静态分析） |
| 张立军 |
zhanglj (at) ios.ac.cn |
基于马尔科夫模型及其扩展的概率并发系统的模型检验 |
| 张文辉 |
zwh (at) ios.ac.cn |
逻辑方法；程序正确性方法 |
| 张振峰 |
zfzhang (at) tca.iscas.ac.cn |
密码学与安全协议、网络信任与隐私保护、抗量子密码、区块链密码 |
| 赵琛 |
zhaochen (at) iscas.ac.cn |
编译技术及应用，软件测试方法和工具 |
| 钟华 |
zhonghua (at) iscas.ac.cn |
分布式系统，软件工程 |
| 叶丹 |
yedan (at) otcaix.iscas.ac.cn |
大数据智能分析处理技术，领域数据挖掘技术，企业数据互操作技术 |
| 张凤军 |
fengjun (at) iscas.ac.cn |
人机交互,虚拟现实 |
| 张文博 |
zhangwenbo (at) otcaix.iscas.ac.cn |
分布式计算 |
| 张阳 |
zhangyang (at) is.iscas.ac.cn |
|
| 张敏 |
mzhang (at) tca.iscas.ac.cn |
|
