Dr. Yang's primary research interest is computer system reliability, which spans the spectrum from hardware design automation to software engineering. He is particularly interested in model checking techniques to improve software reliability. Dr. Yang's research is supported by National Science Founation (award abstract) and NEC Labs America Inc. 

Dr. Yang received his Ph.D. degree in computer science from the University of Pennsylvania. He received the 2008 ACM TODAES best paper award(announcement, paper, photo), and the 2008 outstanding new researcher award  from the college of engieering of applied sciences at Western Michigan University. Dr. Yang is a senior member of the Institute of Electrical and Electronics Engineering (IEEE).