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 publication and current projects.
Dr. Yang received his Ph.D. degree from the University of Pennsylvania in 2003.
Dr. Yang's paper, "Disjunctive image computation for software verification"
( coauthored with Drs. Wang, Ivancic, and Gupta), has been selected for
the ACM Transactions on Design Automation of Electronic Systems (TODAES)
2008 Best Paper Award. For more information, please visit http://todaes.acm.org/ .
