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 (Verification of Hierarchical Discrete Systems by Symbolic Techniques)
  • VERBS (Verification of Finite State Systems by Bounded Correctness Checking)
  • VERI2 (Verification Condition Generation and Simplification for XYZ/SE Programs)


    Academic Activities

  • PC for SERA'15, ATVA'14, SERA'14, TAMC'14, ATVA'13

    Conferences


    Teaching and Supervising

    Courses:

  • (1) Formal Verification of Programs;
  • (2) Model Checking
  • (3) Formal Methods

    Students

    Honorary Certificates for Contribution to Teaching


    Links

  • DBLP Wenhui Zhang
  • 中国科学院大学教育业务管理平台
  • 中国计算机学会
  • 招商银行