Zijiang James Yang

Software Testing and Verificaiton Lab Director
Undergraduate Director
Department of Computer Science
College of Engineering and Applied Science

Western Michigan University

Office: Parkview Campus B-242
Address: 1903 West Michigan Avenue, Kalamazoo, MI 49008-5466
Phone: (269) 276-3114 Fax: (269) 276-3122
Email: zijiang.yang @ wmich . edu



Selected publication since 2015 (full list): My 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.


Current Ph.D. Students:


Recent Services:

Visits since 8/15/2015:




Last update on: October 23, 2017.