John C. Mitchell
Distinguished Visiting Professor of Computer Science
John C. Mitchell is a pioneer in cybersecurity and online education. His first research project in online learning started in 2009, when he and six undergraduate students built Stanford CourseWare, an innovative platform that expanded to support interactive video and discussion. CourseWare served as the foundation for initial flipped classroom experiments at Stanford and helped inspire the first massive open online courses (MOOCs) from Stanford. His team worked with more than 500 Stanford faculty members and instructors on over 1,000 online projects for campus or public audiences and organized the Year of Learning to envision the future of teaching and learning at Stanford and beyond. As co-director of the Lytics Lab and Carta Lab, he worked to improve educational outcomes through data-driven research and iterative design.
John’s past research has focused on computer security, including network protocols, web security, and privacy, as well as programming languages and applications of mathematical logic to computer science. Relevant publications include Reinforcement Learning for the Adaptive Scheduling of Educational Activities (CHI 2020), Automated Analysis of Cryptographic Assumptions in Generic Group Models (J. Cryptology, 2019), Evaluating the privacy properties of telephone metadata (PNAS 2016), and Third-party web tracking: Policy and technology (IEEE S&P). He is the author of two textbooks: Foundations for Programming Languages and Concepts in Programming Languages; over 200 publications have received over 25,000 citations.
Recent interviews and articles for the general public include: The Ethics of Emerging Technologies (podcast with Tom Byers and Mildred Cho), Aspen Institute Forum for the Future of Higher Education Interview Series – John Mitchell, and School of Engineering Interviews ”How can we improve online learning?” and “How can we design for security?.”
- B.S.from Stanford University
- M.S.and PhD., from MIT
Founder and Promoter
- Chair, Department of Computer Science, and former Vice Provost, Stanford University
- Co – director of the Stanford Computer Security Lab
- Mary and Gordon Crary Family Professor in Computer Science and Electrical Engineering at Stanford University
- Author, Concepts in Programming Languages, Cambridge University Press, 2003
- Author, Foundation for Programming Languages, MIT Press, 1996
- Author, Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994
- Computer security: access control, network protocols, privacy, software systems, and web security.
- Programming languages, type systems, object systems, and applications of mathematical logic to computer science.