John C. Mitchell

Mary and Gordon Crary Family Professor

Professor of Computer Science and (by courtesy) Electrical Engineering

Research Interests Computer security: access control, network protocols, privacy, software systems, and web security. Programming languages, type systems, object systems, and formal methods. Applications of mathematical logic to computer science.

B.S. Stanford University; M.S., Ph.D. MIT. (Photo: C. Green)

Research Program

Publications
Slides from research talks
Students (current graduate students and alumni)
Research Projects
- Network security: Protocol Composition Logic, Model-checking security protocols
- Web security (subsuming older Phishing and online identity theft page)
- Privacy policy and distributed access control
Mention in the popular press
Software built with students and collaborators
Stanford Computer Security Lab

Books

Concepts in Programming Languages (Cambridge Univ Press, 2002)
Foundations for Programming Languages (MIT Press, 1996)
Theoretical Aspects of Object-Oriented Programming (MIT Press, 1994)

Courses and Departmental Activities

Director, Stanford Computer Forum
Stanford courses
Stanford Center for Professional Development: Computer Security Certificate Program
Exam information for PhD students (Programming Language section of Comp, Qual)

Information for visitors to Stanford CSD

John C. Mitchell
Department of Computer Science, Gates 476
Stanford University
Stanford CA 94305-9045

Phone: (650) 723-8634
Fax: (650) 725-4671

email address