He holds a Ph.D. degree from the University of Pennsylvania, a M.S. degree from Rice University and a B.S. degree from the University of Science and Technology of China, all in computer science. The primary focus of his research is to develop formal methods and tools that support the modeling, analysis and verification of complex computer systems. Dr. Yang published over fifty conference and journal papers. He received ACM TODAES best paper award in 2008, WMU CEAS Young Researcher Award in 2008, and PADTAD best paper award in 2010. ====