Professor Jian ZhangInstitute of Software
Chinese Academy of Sciences
- 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
ConferencesI am on the Program Committee of various international conferences.
You are welcome to attend these conferences.
Journals and Book SeriesI 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 informationAddress: 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