Jialiang Chang is a Ph.D candidate 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