Skip to content Skip to navigation

Wide shot of Cubberley

John C. Mitchell

Photo of John Mitchell

John Mitchell

Courtesy Professor

Assistant: Ruth Harris


Computer security: access control, network protocols, and software system security. Programming languages, type systems, object systems, and formal methods. Applications of mathematical logic to computer science.

Other Titles

Professor, Computer Science
Professor (By courtesy), Electrical Engineering
Professor (By courtesy), Graduate School of Education

Program Affiliations


Research Interests

Higher Education | Teachers and Teaching | Technology and Education

See a full list of GSE Faculty research interests >

Recent Publications

Barthe, G., Fagerholm, E., Fiore, D., Mitchell, J., Scedrov, A., & Schmidt, B. (2019). Automated Analysis of Cryptographic Assumptions in Generic Group Models. JOURNAL OF CRYPTOLOGY, 32(2), 324–60.

Mandal, A., Mitchell, J. C., Montgomery, H., & Roy, A. (2018). Data Oblivious Genome Variants Search on Intel SGX. DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 11025, 296–310.

Stefan, D., Mazieres, D., Mitchell, J. C., & Russo, A. (2017). Flexible dynamic information flow control in the presence of exceptions. JOURNAL OF FUNCTIONAL PROGRAMMING, 27.

Back to the Top