Joshua Guttman's Home Page

email: lastname at mitre.org and firstname.lastname at gmail.com

CSFW

Papers

A list of my publications may be found here.

Other Joshua Guttmans

There appear to be two other Joshua Guttmans, judging from Google. One is a database consultant in Atlanta, and an amateur photographer. The other is real estate owner in Brooklyn, who seems to be 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.

CSFW

The CSFW-18 program is here, or, in plain text format, here.

I am grateful to the College of Computer Science at Northeastern University for making this home page available to me.

Joshua D. Guttman
guttman at mitre.org