Skip to content Skip to navigation

John C. Mitchell

Photo of John Mitchell

John Mitchell

Courtesy Professor

mitchell@cs.stanford.edu

Assistant: Mary Jane Swenson

Biography

John Mitchell is the Mary and Gordon Crary Family Professor, professor of computer science, and by courtesy professor of electrical engineering and professor of education. He was previously appointed as Stanford Vice Provost for Online Learning (2012-2015) and Vice Provost for Teaching and Learning (2015-2018). 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.

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?.”

Mitchell’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), Third-party web tracking: Policy and technology (IEEE S&P). He is the author of two textbooks, Foundations for Programming Languages (1996) and Concepts in Programming Languages (2002); over 200 publications have received over 25,000 citations.

Mitchell’s 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. Professor Mitchell currently serves as Chair of the Stanford Department of Computer Science.

Other Titles

Professor, Computer Science
Professor (By courtesy), Electrical Engineering
Professor (By courtesy), Graduate School of Education
Faculty Affiliate, Institute for Human-Centered Artificial Intelligence (HAI)

Program Affiliations

DAPS

Research Interests

Higher Education | Teachers and Teaching | Technology and Education

See a full list of GSE Faculty research interests >

Recent Publications

DiGiacomo-Castillo, M., Liang, Y., Pal, A., & Mitchell, J. C. (2020). Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. 2020 IEEE International Conference on Blockchain.

DiGiacomo-Castillo, M., Liang, Y., Pal, A., & Mitchell, J. C. (2020). Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. 2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020), 351–358.

Bigman, M., & Mitchell, J. C. (2020). Teaching Online in 2020: Experiments, Empathy, Discovery. IEEE Learning With MOOCS (LWMOOCS).

Back to the Top