当前位置: 首页 > 学术报告 > 正文

基于约束推理的软件测试与源代码分析

发布时间:2013-11-04 14:59:17 发布人:  审核人:

主讲人:张健研究员

报告时间:11月6日09:30—11:00

报告地点:信息楼A306会议室

内容提要:

应信息科学技术学院的邀请,中科院软件所所长助理、博士生导师、杰青获得者张健研究员将于2013116日来学校为师生做一场学术报告。

报告题目:基于约束推理的软件测试与源代码分析

时间:201311609:3011:00

地点:信息楼A306会议室


  欢迎感兴趣的师生参加!

                           

张健研究员简历:
  张健,中国科学院软件研究所研究员、博士生导师。1988年本科毕业于中国科学技术大学。1994年在中国科学院软件研究所获博士学位,随后应邀访问美国爱荷华大学。曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。主要研究兴趣包括:自动推理和约束求解算法,程序静态分析和软件测试技术。担任《计算机学报》、《Journal of Computer Science and Technology》、《Frontiers of Computer Science》、《计算机科学与探索》编委。作为程序委员会委员参与组织了约60个重要国际会议(包括软件工程和理论计算机科学方面的主流会议ICSE, IJCAR, CADE, SAT, VSTTE等)。还是国家自然科学基金委员会“可信软件基础研究”重大研究计划学术指导专家组成员。

            科技处、信息科学技术学院

               2013114