Education
Ph.D. University of Michigan, 1995
M.S. University of Michigan, 1991
B.S. University of Michigan, 1989
Specialization
- Formal methods
- Computer science education
- Computing ethics
Research Profile
Hobbies
Geocaching, piano, church.
Favorite thing about being a faculty member
My joy is in our students, in particular, what happens to our students when they go through this program. Students learn so much about their discipline through their classwork and their work experiences that they mature incredibly fast. It is a joy to walk into a classroom of juniors and seniors and hear them share examples from their workplaces and life experiences.