队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
三、学习经历
1988年毕业于中国科技大学少年班
1994年在中国科学院软件研究所获博士学位
四、工作经历
1996年被软件所聘为副研究员
1997年12月起任中国科学院计算机科学重点实验室副主任
1999年被软件所聘为研究员
2000年获博士生导师资格
五、社会兼职
六、研究成果与获奖情况
在一阶逻辑公式的可满足性问题方面取得了突出成果，提出了一种具有一般性的减小搜索空间的方法，比国外同行的方法具有明显的优越性。实现的软件工具解决了不少难题，已被二十多个国家和地区的科研人员下载。据不完全统计，有关成果目前已被五十多篇国外公开发表的文献（论文、著作）所引用。
七、代表论著
·J.ZhangandX.Wang,Aconstraintsolveranditsapplicationtopathfeasibilityanalysis,Int’lJ.ofSoftwareEngineeringandKnowledgeEngineering,Vol.11,No.2,2001.
·J.Zhang,C.XuandS.C.Cheung,Automaticgenerationofdatabaseinstancesforwhite-boxtesting,Proc.Int’lComputerSoftwareandApplicationsConference(COMPSAC),2001.
·张健，逻辑公式的可满足性判定---方法、工具及应用，科学出版社，北京，2000。
·张健，有限构模器的扩展及其在形式化方法中的应用，计算机学报，第23卷第2期，2000年2月，190--194页。
·J.Zhang,S.C.CheungandS.Chanson,Stresstestingofdistributedmultimediasoftwaresystems,Proc.FORTE/PSTV,KluwerAcademicPublishers,1999,pp.119-133.
八、承担项目
