email: lastname at wpi.edu
or firstname.lastname at gmail.com
or lastname at mitre.org
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