Home / Books / Joshua D. Guttman

Joshua D. Guttman

Joshua D. Guttman is a computer scientist specializing in information security theory, logic, formal methods, and programming languages, with a Ph.D. in philosophy from the University of Chicago in 1984. He worked at The MITRE Corporation from 1984 to 2009 and later as a Research Professor of Computer Science at Worcester Polytechnic Institute since 2013. Note: Search results also reference medical professionals with similar names, but this profile matches the specified 'Joshua D. Guttman'.

Computer Science Information Security Formal Methods
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
1995