Dr. Yang's research interest is computer system reliability, which spans the spectrum from hardware design automation to software engineering. The primary focus of his research is to develop formal method based tools to support the modeling, analysis and verification of complex systems. He holds 10 U.S. patents, and his work has appeared in conferences such as CAV, DAC, ICCAD, TACAS, Micro and HPCA, and in journals such as TODAES, T-CAD, STTT and TCS. For more information about his research, please visit his publication site.

Dr. Yang received his Ph.D. from the University of Pennsylvania, M.S. from Rice University, and B.S. from the University of Science and Technology of China, all in computer science. He was a recipient of the 2008 ACM TODAES best paper award, 2010 PADTAD best paper award and the 2008 CEAS outstanding new researcher award. Dr. Yang is a senior member of the Institute of Electrical and Electronics Engineering (IEEE), and IEEE Computer Society.  He is a visiting professor at EECS, University of Michigan since 2009.