When I was a grad student in computer science I worked with Bart Miller on Paradyn and taught CS 537. For more recent info see LinkedIn.