张健

  • 发布于 2018-05-22
  • 4056
  • 张健
    中国科学院软件研究所研究员。1969年生,1988年毕业于中国科学技术大学,1994年在中国科学院软件研究所获博士学位。1999年起任研究员,2000年获博士生导师资格。主要研究兴趣包括:自动推理、约束求解、语义Web、程序静态分析与检错、软件测试数据生成。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金。
  • 研究方向:

    软件测试与分析,自动推理与约束求解