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

    Academic Activities

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

  • PC for RIVF'09
  • PC for ATVA'09
  • PC for ACSD'09
  • PC for ICIS'09
  • PC for AWFS'09

    Conferences

    Teaching and Supervising

    Course: Formal Verification of Programs

    Students

    招生、博士后计划