Jialiang Chang

  Short Biography

 

 

 

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