报告题目：计数与体积计算及程序分析
报告时间：2020年11月30日9:00
报告地点：澳门永利最老登录入口中心校区计算机楼521室
报 告 人：张健 研究员
报告人简介：
张健，中国科学院软件研究所研究员。主要研究兴趣包括：自动推理、约束求解、软件测试与分析。目前担任《计算机学报》、JCST、 Frontiers of CS、 IEEE Trans、 on Reliability、 《中国科学：信息科学》、《计算机科学与探索》等刊物编委。曾先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。
报告内容简介：
计数（Counting）问题是计算机科学中的一类重要问题；但其实用算法及工具的研究并不多。本报告将介绍我们在计数问题求解和体积计算（估算）方面的一些研究成果，以及该问题与程序分析、自动推理之间的联系，还将介绍一种对程序性能的估计方法。
主办单位：
澳门永利最老登录入口
澳门永利最老登录入口软件学院
澳门永利最老登录入口计算机科学技术研究所
符号计算与知识工程教育部重点实验室
海战场攻防对抗仿真技术教育部重点实验室
澳门永利最老登录入口国家级计算机实验教学示范中心
