I am an Associate Professor of Department of Computer Science at Western Michigan University. I got my Phd degree from Dept of EECS, the University of Michigan in Dec. 2001 before I came to Western in Jan 2002.

Research:

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

Teaching:

Project:

Hobby:

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