|
John C. MitchellProfessorResearch 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) |
Program Chair: POPL 2002 (ACM Symposium on Principles of Programming Languages)
|
|
John C. Mitchell |
Phone: (650) 723-8634 |