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. For more information on his research, please visit his publications and current projects. Dr. Yang received his Ph.D. degree from the University of Pennsylvania.