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

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

    学术会议与刊物
    本人担任了一些国际学术会议的程序委员会委员。欢迎投稿、参会。还担任《计算机学报》编委。
     
    联系方式
    地址:北京市 8718 信箱 中国科学院软件研究所
    邮编:100190
    电话:(010) 62661625
     
    2008年11月22日(小雪)更新