I am a Professor in the Department of Computer Science at Western Michigan University. I got my Phd degree from Dept of EECS, the University of Michigan.


Software Development Process, Software Model Design and Analysis, CASE Tools, Object-Oriented Programming Language, Software Verification. Here is my main publication list.




I dont have many hobbies. But watching sports games is the most favorite thing I would like to do during my spare time. I am a big Michigan Wolverine fan! Here you can see my photos.

Email: wshen AT wmich DOT edu