Skip to content Skip to navigation

Wide shot of Cubberley

John C. Mitchell

Photo of John Mitchell

John Mitchell

Courtesy Professor

mitchell@cs.stanford.edu

Assistant: Ruth Harris

Biography

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

Mary and Gordon Crary Family Professor in the School of Engineering, and Professor, by courtesy, of Electrical Engineering and of Education
Professor (By courtesy), Electrical Engineering
Professor (By courtesy), Graduate School of Education

Program Affiliations

DAPS

Research Interests

Higher Education | Teachers and Teaching | Technology and Education

See a full list of GSE Faculty research interests >

Recent Publications

Crow, S. J., Agras, W. S., Halmi, K. A., Fairburn, C. G., Mitchell, J. E., & Nyman, J. A. (2013). A cost effectiveness analysis of stepped care treatment for bulimia nervosa. INTERNATIONAL JOURNAL OF EATING DISORDERS, 46(4), 302–7.

Hammer, G. B., Connolly, S. G., Schulman, S. R., Lewandowski, A., Cohane, C., Reece, T. L., … Drover, D. R. (2013). Sodium nitroprusside is not associated with metabolic acidosis during intraoperative infusion in children. BMC Anesthesiology, 13, 9-?

Planul, J., & Mitchell, J. (2013). Oblivious Program Execution and Path-Sensitive Non-interference. CSF.

Back to the Top