English Version

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

研究兴趣

自动推理和约束求解：如何通过高效率的（回溯）搜索过程来判断给定的约束条件（条件表达式、逻辑公式）是否成立？ 程序分析与软件测试：给定一段程序，如何自动地发现其中的错误（比如数组下标越界、内存泄露）；如何自动地生成一组测试用例集，以达到某些覆盖标准（比如，百分之百的语句覆盖率）？ 语义Web：如何利用语义信息来提高网络搜索的精度？如何对语义描述作推理（比如判断其一致性）？

论文著作

DBLP中有一个论文列表，包含我的英文论文；但其中也有很多其他同名作者的论文。 最近的部分论文、技术报告等，将被放在这里。 部分中文论著： 张健，逻辑公式的可满足性判定 -- 方法、工具及应用，科学出版社，北京，2000。 张健，精确的程序静态分析，《计算机学报》2008年9月。（该论文的有关信息）

研究生培养

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

学术会议与刊物

本人担任了一些国际学术会议的程序委员会委员。欢迎投稿、参会。还担任《计算机学报》编委。

联系方式

地址：北京市 8718 信箱 中国科学院软件研究所

邮编：100190

电话：(010) 62661625

2008年11月22日（小雪）更新