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).
Jialiang Chang is a Ph.D student 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.
Jialiang Chang is doing his Ph.D program of computer science under the supervision of Prof. Zijiang Yang from the Western Michigan University, a M.S. of Computer Science from DePaul University, a M.S. of Information Resources Management under the supervision of Prof. Gang Li from the Wuhan University and B.S. of information management and information system from the Qingdao Technological University.
Lin Cheng ‘s research interest is Symbolic Execution, his director is Zijiang Yang.
He is also TA of CS1200 and CS4850, and the supervisor is Bob Hardin.
He was a software engineer focusing on web services in ulucu, 99bill and m91, before that he was a math teacher of Tsinghua attached high school.
He received a master degree(in the year of 2005) and a bachelor degree(in the year of 2002) of Mathematics from Peking University.
He likes programming, He knows quite a few programming languages, among which he likes Erlang/C best. He likes reading, swimming/running/hiking, Chinese chess.
I received my B.S. degree from Xi’an Jiaotong University, China, 2013.
My research focus on concurrency bugs in large-scale multi-thread programs.
I have a bachelor degree in Software Engineering from Wuhan University, China and a bachelor degree in Computer Science from Eastern Michigan University. In Fall 2012, I started my PhD program in Computer Science at Western Michigan University.
My research focus on formal method. Most of my work primary focus on developing formal method to improve software reliability and security. My research work is advised by Dr. Zijiang Yang at Computer Science Department, WMU.
