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. His research is supported by National Science Foundation(NSF), Office of Naval Research(ONR),and NEC Labs America Inc. He holds 5 U.S. patents, and his work has appeared in prestigious conferences such as CAV, DAC, ICCAD, TACAS and Micro, and journals such as TODAES, T-CAD, STTT and TCS. For more information about his research, please visit his publication and research sites.

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 is a co-winner of the 2008 ACM TODAES best paper award, and the winner of the 2008 college (CEAS) outstanding new researcher award at Western Michigan University. Dr. Yang is a senior member of the Institute of Electrical and Electronics Engineering (IEEE), and IEEE Computer Society.