James Yang is a professor of Computer Science
at Western Michigan University. His research is in the broad areas of software
engineering and formal methods. The primary focus is to develop formal
method based tools to support the debugging, analysis and verification
of complex systems. He has published over seventy referred conference and
journal papers. He is also an inventor of ten United States patents.
James Yang received his Ph.D. under the supervision of Prof. Rajeev Alur from the University
of Pennsylvania, M.S. under the supervision of Prof. Moshe Vardi from Rice
University, and B.S. from the University
of Science and Technology of China, all in computer science. He was
a recipient of the 2015 CEAS outstanding researcher award, 2010 PADTAD best
paper award, 2008 ACM TODAES best paper award and the 2008 CEAS outstanding new researcher award. He was
a visiting professor at EECS, University of Michigan from 2009 to 2013.
Dr. Yang is a senior member of the Institute of Electrical and
Electronics Engineering (IEEE).