师资队伍

杨子江

杨子江,男,广东潮州人 

1973年4月出生,教授 

邮箱:zijiang4@icloud.com 

联系方式:18161835325 

主要学习经历 

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)高级会员。入选陕西省第六届百人计划。