Map     中文

From State Key Laboratory of Computer Science

Main Page > People > Staff > Jian ZHANG
Jump to: navigation, search
Professional Title: Research Professor Zj.jpg
Research Fields: Automatic reasoning and software testing
Tel: 010-62661625
E-Mail: zj(at)

Personal Description:

  • Main research interests include automatic reasoning and constraint solving algorithms, software specification and verification method, software testing
  • Main achievements include the satisfiability problem of first-order logic, which are cited by over 60 papers in international conferences and journals.

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki