学 术 报 告
报告人：张健 研究员
时间：
地点：204会议室
报告人简介：
张健，中国科学院软件研究所研究员。1969年生，1988年毕业于中国科学技术大学少年班，1994年在中国科学院软件研究所获博士学位。1999年起任研究员，2000年获博士生导师资格。曾任中国科学院计算机科学国家重点实验室主任，现任中国科学院软件研究所所长助理、计算机科学国家重点实验室学术委员会委员。主要研究兴趣包括：自动推理、约束求解、语义Web、程序静态分析与检错、软件测试数据生成。在一阶逻辑公式的可满足性问题方面取得了突出成果，提出了一种具有一般性的减小搜索空间的方法，比国外同行的方法具有明显的优越性。实现的软件工具解决了不少难题，已被二十多个国家和地区的科研人员下载。据不完全统计，有关成果目前已被五十多篇国外公开发表的文献（论文、著作）所引用。曾获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金。
欢迎广大师生参加！