John C. Mitchell

Professor

Research Interests: Computer security: access control, cryptographic protocols and mobile code security. Programming languages, type systems, object systems, and formal methods. Applications of logic to computer science.

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


Research Program


Program Chair:  POPL 2002  (ACM Symposium on Principles of Programming Languages)


Books


Courses and Departmental Activities


Other Links

Stanford

Computer Science

Theory Division


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

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