Associate Professor Emeritus
Department of Computer Science
University of Minnesota-Duluth

Curriculum Vitae Books Papers Courses CS Newsletter
Books that I have written.
Philosophy and Computer Science Program Verification
Philosophy and Computer Science (opens in new window)
Courses I regularly taught: