Professor of Computer Science and (by courtesy) Electrical Engineering
CISAC Affiliated Faculty Member
Department of Computer Science, Gates 476
Stanford CA 94305-9045
(650) 723-8634 (voice)
Computer security: access control; network protocols; privacy; software systems and web security. Programming languages; type systems; object systems and applications of mathematical logic to computer science.
John Mitchell is professor of Computer Science and (by courtesy) Electrical Engineering, and an Affiliated Faculty Member at CISAC.