题目:编译器测试与调试

时间：6月29日下午 4:00 地点：J13-蓝光报告厅 

报告人：北京大学 张路教授 

报告人简历： 

张路 教授，北京大学，2010CCF青年科学家奖获奖者1973年生，2000年获北京大学计算机软件博士学位，师从杨芙清教授,2000年9月至2003年1月在英国从事博士后研究，2003年2月回国，现为北京大学教授、博士生导师，主要研究领域为软件工程。曾获2006年国家科技进步二等奖（排名第6）、2009年北京市科学技术奖技术发明类二等奖（排名第4）、2010年教育部自然科学一等奖（排名第3）、2010年中创软件人才奖。入选教育部2008年度“新世纪优秀人才支持计划”。担任国际期刊Software Testing, Verification and Reliability和Journal of Software Maintenance and Evolution: Research and Practice编委，和Information and Software Technology (2009)的Guest Editor，以及多个国际学术会议程序委员会委员。

主要贡献：

研究方向为迭代式软件开发中的软件分析与测试，研究成果包括：1、提高迭代式软件开发自动化程度的方法与技术，适用于特征定位、软件国际化等问题；2、针对迭代式软件开发的支撑技术，适用于错误报告查重、软件库使用模式挖掘等问题；3、针对迭代式软件开发的测试优化技术，可减少测试的开销。