John Mitchell

  • Stanford University

John Mitchell is Vice Provost for Online Learning at Stanford, and the Mary and Gordon Crary Family Professor in the Stanford School of Engineering, and professor of computer science. His research in computer security focuses on cloud security, mobile and web security, privacy, and network security. He has also worked on programming language analysis and design, formal methods, and applications of mathematical logic to computer science. John currently leads research projects funded by the U.S. Air Force and the Office of Naval Research, as well as by private companies and foundations. He is the Stanford Principal Investigator of the multidisciplinary TRUST NSF Science and Technology Center and Chief Computer Scientist of the DHHS-funded SHARPS project on healthcare security and privacy. He is a consultant and adviser to an array of companies and the author of more than 150 research articles. John’s two most recent books are Concepts in Programming Languages (2002) and Foundations for Programming Languages (1996). John earned his Ph.D. from MIT.