Map     中文
Wenhui ZHANG

From State Key Laboratory of Computer Science

Main Page > People > Staff > Wenhui ZHANG
Jump to: navigation, search
Professional Title: Research Professor Zwh.jpg
Research Fields: Model checking and theorem proving
Tel: 010-62661620
E-Mail: zwh(at)

Personal Description:

  • Selected into "One hundred program" of Chinese Academy of Sciences in 2001
  • Main research interests include formal methods and theory and technologies of formal verification of concurrent systems
  • Academic achievements:
Program verification: Participated in the temporal logic reasoning system and verification techniques of XYZ language
Theory proving:
  • Proposed an algorithm to analyze the number of models of logic formulas and decide whether there is a model for propositional logic
  • Analyze the use of lemmas and get systematic theoretical results for predicate logic.
  • Model checking: Apply model checking algorithms to verify programs of operating systems, proposed methods to reduce the space and time complexity of model checking methods
  • Formal aspects of software design methods: Participated in the formalization of UML modelling languages, Applied UML to the design of distributed systems

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