张文辉 Wenhui Zhang

研究员
中国科学院 软件研究所 计算机科学国家重点实验室
Email: zwh at ios dot ac dot cn

研究方向

形式化方法

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

    学术论文

    学术活动

  • 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

    教学与研究生培养

    Course: Formal Verification of Programs

    Students

    招生、博士后计划