I'm an associate professor of computer science at Kettering University in Flint, Michigan, residing in Fenton, Michigan.

My first contribution this weekend was to the Kettering University entry (as part of the faculty, I'm used to talking to people about the school). My research interests lie in formal methods, specifically the technique known as Abstract State Machines. Both of these links are stubs ... if I get an opportunity, I may try to populate them. (In the meantime, I'll probably just putz with existing articles until I get comfortable. Of course, if someone wants to take me in hand ... )

Socially, I'm a member of the Fenton Church of the Nazarene, a recreational duplicate bridge player, a science fiction fan (primarily TV), and a young parent. I'm also a proud alumnus of the University of Michigan.

Updates

edit

Jim Huggins 22:44, 26 Apr 2005 (UTC) Finished the formal methods page to the point that it's not really a stub anymore.