John C. Mitchell|
|Bio: || Mary and Gordon Crary Family Professor
Professor of Computer Science and (by courtesy) Electrical Engineering
Research Interests Computer security: access control, network protocols and software system 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)