Jian Zhang
Research Professor
Institute of Software
Chinese Academy of Sciences
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
Chinese Version
Research Interests
- Finite Model Searching and Satisfiability Checking (esp. for the first-order logic)
- Program Analysis and Software Testing (symbolic execution, combinatorial testing, etc.)
Publications
There is an
entry
in DBLP for my name, but many papers in that list were not written by me.
Some of my publications will be available here.
Conferences
I am on the Program Committee of various international conferences.
You are welcome to submit papers and attend these conferences.
Students
About 20 graduate students have been supervised (or are being supervised) by me. Some of them are studying in the U.S., and some others are working in industry. Currently, there are seven graduate students in my group.
Last Modified: 2008-11-11