题目：程序分析与测试中的智能技术

报告人：张健 中国科学院软件研究所研究员

时间：2021年9月23日（星期四）上午9:30

地点：南海校区行政楼317

学术报告简介:

随着信息化社会的迅速发展以及软件的广泛应用，软件的质量和可信性得到人们越来越多的关注。分析与测试是保障软件质量的重要手段。本报告将介绍我们在程序静态分析（包括符号执行、编程规则检查）和测试数据生成方面的一些研究工作，以及其中用到的一些智能技术（包括自动推理、约束求解、规则挖掘）。也将探讨科研中的一些问题。

报告人简介:

张健，中国科学院软件研究所研究员。主要研究兴趣包括：自动推理、约束求解、软件测试与分析。先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。指导的多名研究生曾获得中国科学院院长奖、中国计算机学会优秀博士论文提名奖等荣誉。目前担任《中国科学：信息科学》、《计算机学报》、Journal of Computer Science and Technology、Frontiers of Computer Science、IEEE Transactions on Reliability、《计算机科学与探索》编委。