各部门、各单位:
应计算机学院的邀请,美国西密西根大学计算机科学系副教授杨子江博士将于近日来我校作学术讲座。欢迎广大师生参加。讲座具体安排如下:
讲座题目: 自动程序检错方法
Explaining Software Failures by Cascade Fault Localization
主讲人:美国西密西根大学计算机科学系副教授杨子江博士
时 间 :5月12日(周二)14:30
地 点 :长安校区东区FZ227室
主讲人简介:
杨子江博士现任西密西根大学计算机科学系副教授。1996年中国科技大学计算机系获得学士学位并获得该校最高荣誉郭沫若奖学金, 1999年从美国赖斯大学计算机科学系获得硕士学位,2003年从美国宾夕法尼亚大学计算机与信息科学系获得博士学位。杨子江博士目前主要从事软件测试及验证领域的研究。迄今为止发表了六十余篇论文及十项美国专利。获得2008年度ACM TODAES 最佳期刊论文奖, 2008年西密西根大学工学院研究成就奖,2010 PADTAD最佳会议论文奖和2015年Google CS Engagement奖。杨子江博士是国际电子电气工程师协会(IEEE)资深会员,并担任过密西根大学电子与计算机科学系访问教授,NEC 公司美国研发中心科研顾问,美国自然科学基金评委,美国宇航局博士后评委,美国能源部科技企业基金评委等职。
特此通知。
国际合作与交流处
计算机学院
2015年5月8日