James Yang

  Short Biography




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

Dr. 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
2018 ACM SIGSOFT Distinguished Paper Award, 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. He is the general chair of the 12th  IEEE Conference on Software Testing, Validation and Verification (ICST).