人才队伍

研究员

姓名 邮箱 研究方向
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) tca.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 计数复杂性、张量网络
徐进 xu_jin (at) iscas.ac.cn
徐静 xujing (at) tca.iscas.ac.cn 应用密码学、安全协议
严俊 yanjun (at) ios.ac.cn 程序分析与软件测试
应明生 yingms (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