首页 > FoSCA > FoSCA-2016 > 第9期:2016年6月30日,张健研究员
第9期:2016年6月30日,张健研究员
发布时间:2016-07-25 17:42:15

题  目:自动化的软件测试与程序分析

报告人:张健 研究员

              中国科学院软件研究所 

时  间:2016年6月30日(周四)下午15:00

地  点:花园路六号软件中心309报告厅

简  介:   

张健,博士,中国科学院软件研究所研究员。主要研究兴趣包括自动推理、约束求解、程序静态分析与错误查找、软件测试数据生成等。先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。曾任国家自然科学基金委员会“可信软件基础研究重大研究计划学术指导专家组成员。目前是Journal of Computer Science and Technology (JCST)、Frontiers of Computer Science in China (FCS)、《计算机学报》、《计算机科学与探索》等期刊的编委,曾任职ICSE,VSTTE,SAT,IJCAR CADE,ISSRE, ICFEM, COMPSAC,QSIC/QRS等重要国际会议的程序委员会委员。