Jialiang Chang

  Short Biography




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