Joshua Guttman's Home Page

email: lastname at wpi.edu
or firstname.lastname at gmail.com
or lastname at mitre.org

CS 521: Logic in Computer Science

The course website is here

Papers

My publications are here.

CSFW

Other Joshua Guttmans

There are two other Joshua Guttmans, judging from Google. One is a database consultant in Atlanta, and an amateur photographer. The other is a real estate owner in Brooklyn, suspected of arson and other shady maneuvers. Neither appears to be related to me.

Older material

Imps, an Interactive Mathematical Proof System (Home Page). I am grateful to the McMaster Computer Engineering Department for allowing us to maintain the Imps site on their server.
Vlisp: A Verified Implementation of Scheme. This archive contains copies of three papers documenting the results of the Vlisp project. They made up Lisp and Symbolic Computation, volume 8 numbers 1/2 (1995), a special issue devoted to Vlisp. A related paper of Kelsey and Rees is also available here.

Where's Joshua?

The latest on my whereabouts.

Joshua D. Guttman
guttman at wpi.edu