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.
Dr.
Yang's project, "Trace-Driven Verification of Multithreaded
Software", is funded by National Science Foundation from 2008 to 2011 (award abstract).