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, trustworthy AI, and AI for education, software development and design.

Faculty Director, Hasso Plattner Institute of Design (d.school)
Previously Stanford Vice Provost for Online Learning,
Vice Provost for Teaching and Learning, and
Chair, Department of Computer Science

B.S. Stanford University; M.S., Ph.D. MIT. (Pre-2012 web page)

Research

Publications
- Google Scholar list of publications
- Summary of one hundred most-cited papers
Recent Activities
- ...
Stanford Research Labs
- Computer Security Lab (1990s-present): Web security, Model-checking security protocols, Protocol Composition Logic
- Stanford Lytics Lab (Co-founder and co-director, 2012-2018)
- Stanford Carta Lab (Co-director, 2018-2022) mentoring student-implemented Carta Platform
- Stanford Pathways Lab (Co-director, 2021-2023)
- TRUST NSF Science and Technology Center (Stanford Lead, 2005-2015)
Students (current graduate students and alumni; currently out of date)

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)

Connections

Advisory Committee, Higher Education Forum, American Academy of Arts and Sciences,
Board of Directors, Kestrel Institute
Board of Trustees, Palo Alto University
J4.Ventures early stage investors

Courses and Departmental Activities

Stanford courses

John C. Mitchell
Department of Computer Science
Computing and Data Science Building, Room W212
389 Jane Stanford Way, Stanford CA 94305-9045

John.Mitchell@...

@ProfJCM