Academic Staff |
||||
NAME |
TITLE |
RESEARCH
AREAS |
TEL |
EMAIL |
| Zhisong Tang |
Academician,CAS Research Professor |
Software engineering, Temporal logic | 010£62661609 | cst ios.ac.cn |
| Yunmei Dong |
Academician,CAS Research Professor |
Software specification and design | 010£62661606 | dymios.ac.cn |
| Chaochen Zhou |
Academician,CAS Research Professor |
Theory of distributed programming and real-time systems | 010£62661607 | zccios.ac.cn |
| Huimin Lin |
Academician,CAS Research Professor |
Concurrency, Model checking, Formal methods | 010£62661608 | lhmios.ac.cn |
| Mingshu Li | Research Professor | Software process | 010£62661001 | lmsiscas.ac.cn |
| Jiachang Sun | Research Professor | Parallel algorithm, Parallel software | 010£62661634 | sunmail.rdcps.ac.cn |
| Yulin Feng | Research Professor | Software engineering, Distributed computing | 010£62661586 | fengotcaix.iscas.ac.cn |
| Enhua Wu | Research Professor | Realistic image synthesis, Scientific visualization | 010£62661619 | ehwuumac.mo |
| Guozhong Dai | Research Professor | Theory and application of Human computer interaction | 010£62661568 | guozhongiscas.ac.cn |
| Tao Huang | Research Professor | Network computing, Object semantics | 010£62661588 | huangtaoiscas.ac.cn |
| Jian Zhang | Research Professor | Automated reasoning, Software testing | 010£62661625 | zjios.ac.cn |
| Yidong Shen | Research Professor | Data mining, Artificial intelligence | 010£62661617 | ydshenios.ac.cn |
| Haiming Chen | Research Professor | Software design and formal specification | 010£62661612 | chmios.ac.cn |
| Ying Jiang | Research Professor | ¦Ë-calculus and formal semantics | 010£62661626 | jyios.ac.cn |
| Xinxin Liu | Research Professor | Theory and application of concurrency | 010£62661610 | xinxinios.ac.cn |
| Wenhui Zhang | Research Professor | Formal verification methods and techniques of concurrent systems | 010£62661620 | zwhios.ac.cn |
| Yongji Wang | Research Professor | Real-time Scheduling theory | 010£62661526 | ywangintec.iscas.ac.cn |
| Wencheng Wang | Research Professor | Virtual reality and scientific visualization | 010£62661611 | whnios.ac.cn |
| Hong'an Wang | Research Professor | Human computer interaction, Real-time artificial intelligence | 010£62661578 | whaiel.iscas.ac.cn |
| Li Jiao | Research Professor | Theory and application of concurrency | 010£62661618 | ljiaoios.ac.cn |
| Angsheng Li | Research Professor | Computability theory, Mathematical logic | 010£62661629 | angshenggcl.iscas.ac.cn |
| Yunquan Zhang | Research Professor | Parallel algorithm and Parallel software | 010£62661636 | zyqmail.rdcps.ac.cn |
| Guangyuan Li | Associate Research Professor | Modeling and verification of real-time systems | 010£62661628 | ligyios.ac.cn |
| Xuehui Liu | Associate Research Professor | Realistic image synthesis, Scientific visualization | 010£62661621 | lxhios.ac.cn |
| Naijun Zhan | Associate Research Professor | Theory of real-time and concurrency systems | 010£62661615 | znjios.ac.cn |
| Yongjian Li | Associate Research Professor | Theory and application of concurrency | 010-62661658 | lyj238ios.ac.cn |
| Yi Lv | Assistant Research Professor | Formal Verification, Model Checking | 010-62661658 | lvyiios.ac.cn |
| Zhengfeng Ji | Assistant Research Professor | Quantum Computation and Quantum Information | 010-62661655 | jzfios.ac.cn |
| Xueyang Zhu | Assistant Research Professor | Software architecture, Modeling language and tools | 010-62661655 | zxyios.ac.cn |
 |
