John C. Mitchell

Mary and Gordon Crary Family Professor

Professor of Computer Science and (by courtesy) Electrical Engineering and Education

Research Interests Programming languages, computer security and privacy, blockchain, machine learning, collaborative learning and technology for education.

Previously Stanford Vice Provost for Online Learing, Vice Provost for Teaching and Learning, and Chair, Department of Computer Science. (Pre-2012 web page)

B.S. Stanford University; M.S., Ph.D. MIT.

Research Program (partially updated)

Publications: Google Scholar; Older list
Research Projects
- Web security (subsuming older Phishing and online identity theft page)
- Network security: Model-checking security protocols, Protocol Composition Logic
- CourseWare, supporting the social networks of students and instructors with fine-grained access to information
- HIPAA and Healthcare privacy policy conformance web demo
- TRUST NSF Science and Technology Center
Stanford Computer Security Lab
Stanford Lytics Lab (active 2012-2018)
Stanford Carta Lab and Carta Platform
Stanford Pathways Lab
Students (current graduate students and alumni)

Books

Concepts in Programming Languages (Cambridge Univ Press, 2002)
Foundations for Programming Languages (MIT Press, 1996)
Theoretical Aspects of Object-Oriented Programming (MIT Press, 1994)

Professional Activities

Journal of Computer Security, IOS Press site Stanford site
Computing Community Consortium

Courses and Departmental Activities

Director of Graduate Studies; Former Director, Stanford Computer Forum
Stanford courses
Stanford Center for Professional Development: Computer Security Certificate Program
Exam information for PhD students (Programming Language section of Comp, Qual)

Information for visitors to Stanford CSD

John C. Mitchell
Department of Computer Science, Gates 180
Stanford University
Stanford CA 94305-9045

John.Mitchell@...

@ProfJCM