Wenhui Zhang

Research Professor
State Key Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences
Email: zwh at ios dot ac dot cn

Reaseach Areas

Formal methods in computer science:

  • Formal specification languages, temporal logics
  • Formal software verification technology, logical reasoning and model checking

    Papers

    Tools:

  • Verds (Verifier for Concurrent Transition System Models)
  • Verbs (Verification based on Bounded Semantics Model Checking)

    Academic Activities

  • PC for RIVF'12

  • PC for ATVA'11
  • PC for TASE'11

  • PC for RIVF'10
  • PC for ICIS'10
  • PC for ATVA'10
  • PC for ACSD'10

    Conferences

    Teaching and Supervising

    Courses: (1) Formal Verification of Programs; (2) Model Checking

    Students

    Links

  • DBLP Wenhui Zhang
  • 中国科学院研究生院及教育业务管理平台
  • 招商银行