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
招生、博士后计划