人才队伍

副研究员

姓名 邮箱 研究方向
窦文生 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 并发理论、模型检测与测试、机器学习
薛白 xuebai (at) ios.ac.cn 混成系统及AI的形式化验证
许利杰 xulijie (at) otcaix.iscas.ac.cn 大数据系统、分布式数据分析、流式机器学习
杨绍发 yangsf (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 嵌入式系统设计、形式化方法