张健老师1999年起在软件研究所担任研究员，2000年获博士生导师资格。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金。
张健老师的主要研究兴趣包括：自动推理和约束求解：如何通过高效率的（回溯）搜索过程来判断给定的约束条件（条件表达式、逻辑公式）是否成立；程序分析与软件测试：给定一段程序，如何自动地发现其中的错误（比如数组下标越界、内存泄露）；如何自动地生成一组测试用例集，以达到某些覆盖标准（比如，百分之百的语句覆盖率）；语义Web：如何利用语义信息来提高网络搜索的精度，如何对语义描述作推理（比如判断其一致性）。张健老师在一阶逻辑公式的可满足性问题方面取得了突出成果，提出了一种具有一般性的减小搜索空间的方法，比国外同行的方法具有明显的优越性。实现的软件工具解决了不少难题，已被二十多个国家和地区的科研人员下载。据不完全统计，有关成果目前已被五十多篇国外公开发表的文献（论文、著作）所引用。
张老师的讲座生动形象的为同学介绍了当前自动推理、约束求解、程序分析与软件测试相关的一些理论，拓展了同学们的视野，提高了大家对这一领域的研究热情。在讲座的最后阶段张健老师还谈了一些自己针对研究的体会，他告诉同学们，我们在研究的过程中要认识到基础研究很重要，但是基础研究并不等同于理论研究；知识面对我们的研究有很大的影响，而且我们在研究中要有逆向思维（“一个唱红脸，一个唱白脸”）。最后大家用热烈的掌声感谢张老师为同学带来生动有趣的科学讲座。
