Professor Jian Zhang
Institute of SoftwareChinese Academy of Sciences
Research Interests
- Automated Reasoning and Constraint Solving
- Finite Model Generation/Searching for the first-order logic and other logics
- Volume Computation/Estimation and Solution Counting for complex constraints
- Software Testing and Static Analysis
- Program Analysis (esp. symbolic execution)
- Combinatorial Testing
Publications
Research Group
- homepage of the group (under construction)
- Students
Conferences
I am on the Program Committee of various international
conferences.You are welcome to attend these conferences.
Journals and Book Series
I am on the editorial board of several journals. The following are published in English:
- Journal of Computer Science and Technology
- Frontiers of Computer Science
- IEEE Transactions on Reliability
You are welcome to submit papers to these journals.
I am also involved in the Springer-CCF book series Advances in Computer Science and Technology.
Contact information
Address: P.O. Box 8718, Beijing 100190, CHINA Tel: (+86) (10) 62661625
Fax: (+86) (10) 62562533
Email: zj (a) ios.ac.cn OR jian_zhang (a) acm.org
Last
Modified: Aug.13, 2017