Institute of Software
Chinese Academy of Sciences
P.O. Box 8718
Tel. (+86) (10) 62661625
Fax. (+86) (10) 62562533
Email: zj (a) ios.ac.cn OR
jian_zhang (a) acm.org
- Automated Reasoning and Constraint Solving
- Software Testing and Static Analysis
There is an
in DBLP for my publications.
Some of my recent publications are available here.
I am on the Program Committee of various international conferences.
You are welcome to attend these conferences.
Journals and Book Series
I am an editorial board member of the following journals:
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.
Last Modified: 2015-02-28