Stanford Experts

John Mitchell

Title:
Professor of Computer Science

Email:
Mitchell@cs.stanford.edu

Phone:
(650) 723-8634

Website:
https://profiles.stanford.edu/john-mitchell

Description

John Mitchell’s interests include computer security (access control, network protocols, and software system security); programming languages, type systems, object systems, and formal methods; and applications of mathematical logic to computer science.