报告题目：基于自动推理的程序分析及测试
报告时间：2015年12月8日 下午13:30
报告地点：计算机楼A521
报告人：张健 研究员
报告人简介：张健，中国科学院软件研究所研究员。1969年生，1988年毕业于中国科学技术大学，1994年在中国科学院软件研究所获博士学位。1999年起任研究员，2000年获博士生导团队格。主要研究兴趣包括：自动推理、约束求解、程序静态分析与检错、软件测试数据生成。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。
主办单位：十大菠菜导航网
菠菜导航网计算机科学技术研究所
菠菜导航网软件学院
符号计算与知识工程教育部重点实验室
