| Name |
Title |
E-Mail |
Research Fields |
| Yunmei Dong |
Professor, Academician |
dym (at) ios.ac.cn |
|
| Chaochen Zhou |
Professor, Academician |
zcc (at) ios.ac.cn |
|
| Huimin Lin |
Professor, Academician |
lhm (at) ios.ac.cn |
|
| Georgios Barmpalias |
Professor |
barmpalias (at) ios.ac.cn |
Social Networks and Discrete Dynamical Systems, Algorithmic Information and Kolmogorov Complexity, Algorithmic and Computational Learning, Computability and Mathematical Logic |
| Shaowei Cai |
Professor |
caisw (at) ios.ac.cn |
|
| Yan Cai |
Professor |
yancai (at) ios.ac.cn |
Software Security Analysis, Program Analysis and Testing, Testing of Emerging Software |
| Jianwen Cao |
Professor |
jianwen (at) iscas.ac.cn |
|
| Haiming Chen |
Professor |
chm (at) ios.ac.cn |
Software design and analysis methods, data and computation models |
| Hui Chen |
Professor |
chenhui (at) iscas.ac.cn |
Human-Computer Interaction |
| Yanyun Chen |
Professor |
chenyy (at) ios.ac.cn |
|
| Zhiming Ding |
Professor |
zhiming (at) iscas.ac.cn |
Database and Knowledge Base Systems, Data Science and Data Intelligence, Internet of Things Big Data Realtime Systems |
| Dengguo Feng |
Professor |
feng (at) is.iscas.ac.cn |
|
| Xianpei Han |
Professor |
xianpei (at) iscas.ac.cn |
Information Integration， Information Extraction/Knowledge Graph，Information Retrieval/QA |
| YePing He |
Professor |
yeping (at) iscas.ac.cn |
|
| Tao Huang |
Professor |
huangtao (at) iscas.ac.cn |
|
| Li Jiao |
Professor |
ljiao (at) ios.ac.cn |
Formal Methods, Applications and Theory of Concurrency |
| Beihong Jin |
Professor |
beihong (at) iscas.ac.cn |
Mobile Computing， Pervasive Computing，Distributed Systems |
| Guangyuan Li |
Professor |
ligy (at) ios.ac.cn |
|
| Huiyuan Li |
Professor |
huiyuan (at) iscas.ac.cn |
Parallel computing |
| Ling Li |
Professor |
liling (at) iscas.ac.cn |
intelligent computing, video processing |
| Yucheng Li |
Professor |
yucheng (at) iscas.ac.cn |
|
| Xinxin Liu |
Professor |
xinxin (at) ios.ac.cn |
|
| Feifei Ma |
Professor |
mafeifei (at) iscas.ac.cn |
automated reasoning and constraint solving |
| Yidong Shen |
Professor |
ydshen (at) ios.ac.cn |
Association, Classification, Clustering, Relational Data Mining, Bayesian Networks, Semantic Web |
| Purui Su |
Professor |
purui (at) iscas.ac.cn |
software security，vulnerability analysis and detection，network defence |
| Le Sun |
Professor |
sunle (at) iscas.ac.cn |
Natural Language Understanding |
| Feng Tian |
Professor |
tianfeng (at) iscas.ac.cn |
|
| Hongan Wang |
Professor |
hongan (at) iscas.ac.cn |
|
| Qing Wang |
Professor |
wq (at) iscas.ac.cn |
Intelligent Software Engineering |
| Wei Wang |
Professor |
wangwei (at) otcaix.iscas.ac.cn |
Distributed Computing, Software Engineering |
| Wencheng Wang |
Professor |
whn (at) ios.ac.cn |
Computer Graphics, Virtual Reality, Visual Analytics, Image Editing |
| Yongji Wang |
Professor |
ywang (at) itechs.iscas.ac.cn |
|
| Jun Wei |
Professor |
weijun (at) iscas.ac.cn |
Software Engineering and Distributed Computing |
| Enhua Wu |
Professor |
ehwu (at) umac.mo |
Virtual Reality, Realistic Image Synthesis, Physically Based Simulation and Real Time Computation, Physically Based Modeling and Rendering, Processing & Modeling on Image and Video |
| Zhilin Wu |
Professor |
wuzl (at) ios.ac.cn |
|
| Wenling Wu |
Professor |
wwl (at) tca.iscas.ac.cn |
|
| Bin Wu |
Professor |
wubin (at) iscas.ac.cn |
|
| Yanjun Wu |
Professor |
yanjun (at) iscas.ac.cn |
Operating System and Security |
| Mingji Xia |
Professor |
xmj (at) ios.ac.cn |
|
| Jin Xu |
Professor |
xu_jin (at) iscas.ac.cn |
|
| Jing Xu |
Professor |
xujing (at) tca.iscas.ac.cn |
applied cryptography, security protocol |
| Jun Yan |
Professor |
yanjun (at) ios.ac.cn |
Program Analysis and Software Testing |
| Naijun Zhan |
Professor |
znj (at) ios.ac.cn |
|
| Bin Zhang |
Professor |
zhangbin (at) tca.iscas.ac.cn |
|
| Jian Zhang |
Professor |
zj (at) ios.ac.cn |
|
| Lijun Zhang |
Professor |
zhanglj (at) ios.ac.cn |
|
| Wenhui Zhang |
Professor |
zwh (at) ios.ac.cn |
|
| Zhenfeng Zhang |
Professor |
zfzhang (at) tca.iscas.ac.cn |
|
| Chen Zhao |
Professor |
zhaochen (at) iscas.ac.cn |
|
| Hua Zhong |
Professor |
zhonghua (at) iscas.ac.cn |
|
| Dan Ye |
Professor |
yedan (at) otcaix.iscas.ac.cn |
|
| Fengjun Zhang |
Professor |
fengjun (at) iscas.ac.cn |
|
| Wenbo Zhang |
Professor |
zhangwenbo (at) otcaix.iscas.ac.cn |
Distributed Computing |
| Min Zhang |
Professor |
mzhang (at) tca.iscas.ac.cn |
|
| Yang Zhang |
Professor |
zhangyang (at) is.iscas.ac.cn |
|
| Wensheng Dou |
Associate Professor |
weisheng (at) iscas.ac.cn |
Software engineering, program analysis |
| Xiangmin Fan |
Associate Professor |
Xiangmin (at) iscas.ac.cn |
Human-Computer Interaction, Human-AI Collaboration |
| Xiaowei He |
Associate Professor |
xiaowei (at) iscas.ac.cn |
Computer Graphics and Physics Simulation |
| Fei Hou |
Associate Professor |
houf (at) ios.ac.cn |
Computer Graphics |
| David Jansen |
Associate Professor |
dnjansen (at) ios.ac.cn |
Model based system development |
| Yongjian Li |
Associate Professor |
lyj238 (at) ios.ac.cn |
|
| Jie Liu |
Associate Professor |
ljie (at) otcaix.iscas.ac.cn |
|
| Xuehui Liu |
Associate Professor |
lxh (at) ios.ac.cn |
|
| Yi Lv |
Associate Professor |
lvy (at) ios.ac.cn |
|
| Yangjia Li |
Associate Professor |
yangjia (at) ios.ac.cn |
|
| Andrea Turrini |
Associate Professor |
turrini (at) ios.ac.cn |
formal analysis of processes involving probability and nondeterminism. |
| Junjie Wang |
Associate Professor |
junjie (at) iscas.ac.cn |
Intelligence software engineering，Mining software repositories |
| Shuling Wang |
Associate Professor |
wangsl (at) ios.ac.cn |
|
| Tao Wang |
Associate Professor |
wangtao (at) otcaix.iscas.ac.cn |
Cloud Computing，Big Data Systems |
| Guoquan Wu |
Associate Professor |
gqwu (at) otcaix.iscas.ac.cn |
|
| Jingzheng Wu |
Associate Professor |
Jingzheng08 (at) iscas.ac.cn |
|
| Peng Wu |
Associate Professor |
wp (at) ios.ac.cn |
|
| Bai Xue |
Associate Professor |
xuebai (at) ios.ac.cn |
Verification of Hybrid Systems and AI |
| Lijie Xu |
Associate Professor |
xulijie (at) otcaix.iscas.ac.cn |
Big data system, Distributed data analysis, Streaming machine learning |
| Shaofa Yang |
Associate Professor |
yangsf (at) ios.ac.cn |
|
| Shenggang Ying |
Associate Professor |
yingsg (at) ios.ac.cn |
|
| Bohua Zhan |
Associate Professor |
bzhan (at) ios.ac.cn |
Interactive Theorem Proving |
| Xiaoxiao Yang |
Associate Professor |
xxyang (at) ios.ac.cn |
programming language, formal methods, concurrent data structures and multiprogramming |
| Yu Zhang |
Associate Professor |
yzhang (at) ios.ac.cn |
|
| Zhenyu Zhang |
Associate Professor |
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 |
| Jiaqi Zhu |
Associate Professor |
zhujq (at) ios.ac.cn |
Temporal pattern mining, anomaly detection |
| Fusang Zhang |
Associate Professor |
zhangfusang10 (at) otcaix.iscas.ac.cn |
Pervasive computing, Mobile computing, Intelligent Sensing |
| Rongjie Yan |
Associate Professor |
yrj (at) ios.ac.cn |
|
| Xueyang Zhu |
Associate Professor |
zxy (at) ios.ac.cn |
Design of Embedded Systems, Formal Methods |
| Shiteng Chen |
Assistant Professor |
chenst (at) ios.ac.cn |
|
| Jinkun Lin |
Assistant Professor |
linjk (at) ios.ac.cn |
NP hard problem solving, combinatorial optimization, search-based software engineering |
| Wei Zheng |
Assistant Professor |
zhengw (at) ios.ac.cn |
|
| Liming Li |
Assistant Professor |
lilm (at) ios.ac.cn |
formal verification method |
