English Version
 
      张健，中国科学院软件研究所研究员。1969年生，1988年毕业于中国科学技术大学，1994年在中国科学院软件研究所获博士学位。1999年起任研究员，2000年获博士生导师资格。主要研究兴趣包括：自动推理、约束求解、语义Web、程序静态分析与检错、软件测试数据生成。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金。
 
研究兴趣
  • 自动推理和约束求解：如何通过高效率的（回溯）搜索过程来判断给定的约束条件（条件表达式、逻辑公式）是否成立？
  • 程序分析与软件测试：给定一段程序，如何自动地发现其中的错误（比如数组下标越界、内存泄露）；如何自动地生成一组测试用例集，以达到某些覆盖标准（比如，百分之百的语句覆盖率）？
  • 语义Web：如何利用语义信息来提高网络搜索的精度？如何对语义描述作推理（比如判断其一致性）？
    		•
     
    论文著作
  • DBLP中有一个论文列表，包含我的英文论文；但其中也有很多其他同名作者的论文。
  • 这里是我们组最近发表的部分论文。
  • 部分中文论著：
    • 张健，逻辑公式的可满足性判定 -- 方法、工具及应用，科学出版社，北京，2000。
    • 张健，精确的程序静态分析，《计算机学报》2008年9月。（该论文的有关信息）
    •  

    研究生培养
    已毕业的和正在读的研究生有20余名。同时在读的研究生数不超过10名。由于精力有限、水平有限，不能接受一些优秀考生。谨致歉意！有些学生的邮件被当成垃圾邮件，或因我比较忙而没有及时回信，也请谅解。
     

    学术会议与刊物
    本人参与了一些国际学术会议的组织；欢迎投稿、参会。还担任如下刊物的编委：
     
    联系方式
    地址：北京市 8718 信箱 中国科学院软件研究所
    邮编：100190
    电话：(010) 62661625
     
    2010年3月21日（春分）更新