人才
人才姓名: 杨子江
人才级别: 百人计划
人才生日: 1973-04-01
工作单位: 西安理工大学
研究领域: 软件工程,形式化方法,软件可靠性,并行软件测试。
个人简介:
杨子江,男,广东潮州人,1973年4月出生,教授。1991-1996,中国科学技术大学计算机科学;1996-1999,美国赖斯大学计算机科学硕士;1999-2003,美国宾夕法尼亚大学计算机与信息科学博士;2013起,西安理工大学计算机学院,特聘教授;2013起,西安交通大学计算机系,客座教授;2009起,美国西密西根大学计算机科学系副教授;2009 起,美国密西根大学计算机科学与电子工程系访问教授;2003-2009,美国西密西根大学计算机科学系助教授;2003-2007, NEC公司美国研发中心科研顾问;此外,担任过并担任过美国自然科学基金评委,美国航空航天局(NASA)博士后评委,美国能源部企业启动基金评委。
科研成果包括五十余篇期刊及会议论文和十项美国专利。发表论文包括中国计算机协会推荐A类期刊及会议HPCA,MICRO,B类期刊及会议TODAES,TCAD,DAC,DATE,ICCD,ICCAD,ICPP, ETAPS,TCS, CAV和C类期刊及会议:STTT, COMPSAC, ICFEM, ATVA, FMCAD。2008年度ACM TODAES 最佳期刊论文奖, 2010 PADTAD最佳会议论文奖,2008年西密西根大学工学院研究成就奖。国际电子电气工程师协会(IEEE)高级会员。入选陕西省第六届百人计划。