地图     English
张健

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

首页 > 人才队伍 > 科研人员 > 张健
跳转到: 导航, 搜索
职称: 研究员 Zj.jpg
研究方向: 自动推理与软件测试
电话: 010-62661625
E-Mail: zj(at)ios.ac.cn
个人主页: http://lcs.ios.ac.cn/~zj/

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


版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号