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)

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
Computing and Data Science, Room W212
389 Jane Stanford Way
Stanford CA 94305-9045

John.Mitchell@...

@ProfJCM