James Yang

  Short Biography

 

 

 

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).