Jian Zhang(张健)

Binding

主要研究兴趣包括：自动推理、约束求解、程序静态分析与检错、软件测试数据生成。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。
研究兴趣
自动推理和约束求解：如何通过高效率的（回溯）搜索过程来判断给定的约束条件（条件表达式、逻辑公式）是否成立？如何计算（或估算）解空间的大小？
程序分析与软件测试：给定一个软件系统（或其源代码），如何自动地发现其中的错误（比如数组下标越界、内存泄露）；如何自动地生成一组测试用例集，以达到某些覆盖标准（比如，百分之百的语句覆盖率）