Skip to content Skip to navigation

John Mitchell

John Mitchell

PhD, MIT (1984)

Contact

Phone: 
(650) 723-8634

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.