杨子江，男，广东潮州人 

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