John Mitchell is a Mary and Gordon Crary Family Professor, Professor of Computer Science and (by courtesy) Electrical Engineering, Stanford. Research Interests include: 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. B.S. Stanford University; M.S., Ph.D. MIT.