欢迎访问南京邮电大学必威betway手机登入、软件学院、网络空间安全学院!   |  联系我们
首页 > 学术交流 > 文章详情

2022年6月10日学术报告——张健

来源: 必威betway手机登入 | 发表时间: 2022-06-07 | 浏览次数: 26

报告题目:软件分析与测试

报告人:张健

报告人单位:中国科学院软件研究所

时间:2022610日(周五) 10:00 - 11:00

地点:腾讯会议线上报告(ID290-161-910

主办单位:必威betway手机登入、软件学院、网络空间安全学院

 

报告内容:

随着软件的广泛应用,人们对软件系统的质量要求越来越高。分析与测试是保障软件质量的重要手段。本报告将介绍该方向的一些基本概念和方法,以及我们在程序静态分析(包括符号执行、编程规则检查)和测试数据生成方面的一些研究工作;探讨研究中的一些问题。也将提及我们实现的原型工具及其应用。

 

报告人简介:

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