出自计算机科学国家重点实验室

职称:	研究员
研究方向：	自动推理与软件测试
电话:	010-62661625
E-Mail:	zj(at)ios.ac.cn
个人主页：	http://lcs.ios.ac.cn/~zj/

主要研究兴趣为：自动推理和约束求解算法，程序的规约和验证方法以及软件测试技术。在一阶逻辑公式的可满足性问题方面取得了突出成果。所提出的方法比国外同行的方法具有明显的优越性，实现的软件工具解决了不少难题，引起很多研究人员的兴趣。有关成果得到国内外专家的好评。据不完全统计，已被六十余篇正式发表的国际期刊或学术会议论文所引用。