People

Staff

 

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 lxx (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) tca.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
Mingsheng Ying Professor yingms (at) ios.ac.cn
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
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
Xiaoxiao Yang Assistant Professor xxyang (at) ios.ac.cn Formal Methods, Data structures and Algorithms, Program Verification
Wei Zheng Assistant Professor zhengw (at) ios.ac.cn
Liming Li Assistant Professor lilm (at) ios.ac.cn formal verification method