World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
96
Citations
32176
World Ranking
446
National Ranking
247

Research.com Recognitions

  • 2017 - Fellow of the American Academy of Arts and Sciences
  • 2008 - ACM Fellow For contributions to the theory of programming languages.
  • 2004 - Fellow of the Royal Society, United Kingdom
  • 1998 - Member of Academia Europaea
  • 1992 - Fellow of the American Society of Mechanical Engineers
  • 1976 - Fellow of the American Association for the Advancement of Science (AAAS)
  • 1966 - Fellow of the American Association for the Advancement of Science (AAAS)

Overview

John C. Mitchell is affiliated with Stanford University in the United States. Their primary field of study is Computer Science, with a focus on subfields including Artificial Intelligence, Clinical Psychology, Surgery, Molecular Biology, and Information Systems.

Their research encompasses a range of topics, notably:

  • Eating Disorders and Behaviors
  • Advanced MRI Techniques and Applications
  • Colorectal and Anal Carcinomas
  • Bariatric Surgery and Outcomes
  • Online Learning and Analytics
  • Privacy-Preserving Technologies in Data
  • Computational Drug Discovery Methods

John C. Mitchell has published extensively, with frequent venues including:

  • arXiv (Cornell University)
  • Cancers
  • OECD going digital toolkit notes
  • UNC Libraries
  • Journal of Chemical Information and Modeling

Some recent papers include:

  • "Supercomputer-Based Ensemble Docking Drug Discovery Pipeline with Application to Covid-19," 2020, Journal of Chemical Information and Modeling
  • "TrustLLM: Trustworthiness in Large Language Models," 2024, arXiv (Cornell University)
  • "Identifying and Mitigating the Security Risks of Generative AI," 2023, Foundations and Trends® in Privacy and Security
  • "Trehalose as an alternative to glycerol as a glassing agent for in vivo DNP MRI," 2020, Magnetic Resonance in Medicine
  • "Psychotropic medication use in treatment-seeking youth with eating disorders," 2020, European Eating Disorders Review

The scientist collaborates frequently with several co-authors, among whom are:

  • Anupam Datta (4 joint publications)
  • Clark Barrett (3 joint publications)
  • Brad Boyd (2 joint publications)
  • Nicholas Carlini (2 joint publications)
  • Brad Chen (2 joint publications)

Across their career, John C. Mitchell has received several honors, including:

  • Fellow of the American Academy of Arts and Sciences, 2017
  • ACM Fellow, 2008, for contributions to the theory of programming languages
  • Fellow of the Royal Society, United Kingdom, 2004
  • Member of Academia Europaea, 1998
  • Fellow of the American Society of Mechanical Engineers, 1992
  • Fellow of the American Association for the Advancement of Science (AAAS), 1976 and 1966

Best Publications

  • Design of a role-based trust-management framework

    Ninghui Li;J.C. Mitchell;W.H. Winsborough

  • Architectural support for copy and tamper-resistant software

    David Lie Chandramohan Thekkath;Mark Mitchell;Patrick Lincoln;Dan Boneh

  • Foundations for Programming Languages

    John C. Mitchell

  • Automated analysis of cryptographic protocols using Mur/spl phi/

    J.C. Mitchell;M. Mitchell;U. Stern

  • Abstract types have existential type

    John C. Mitchell;Gordon D. Plotkin

  • Third-Party Web Tracking: Policy and Technology

    J. R. Mayer;J. C. Mitchell

  • Client-Side Defense Against Web-Based Identity Theft.

    Neil Chou;Robert Ledesma;Yuka Teraguchi;John C. Mitchell

  • Robust defenses for cross-site request forgery

    Adam Barth;Collin Jackson;John C. Mitchell

  • Type systems for programming languages

    John C. Mitchell

  • Distributed credential chain discovery in trust management

    Ninghui Li;William H. Winsborough;John C. Mitchell

  • Privacy and contextual integrity: framework and applications

    A. Barth;A. Datta;J.C. Mitchell;H. Nissenbaum

  • Stronger password authentication using browser extensions

    Blake Ross;Collin Jackson;Nick Miyake;Dan Boneh

  • A Summary of the CMIP5 Experiment Design

    Karl E. Taylor;Ronald J. Stouffer;Gerald A. Meehl;Peter Cox

  • Theoretical Aspects of Computer Software

    Masami Hagiya;John C. Mitchell

  • State of the Art: Automated Black-Box Web Application Vulnerability Testing

    Jason Bau;Elie Bursztein;Divij Gupta;John Mitchell

  • Text-based CAPTCHA strengths and weaknesses

    Elie Bursztein;Matthieu Martin;John Mitchell

  • F-bounded polymorphism for object-oriented programming

    Peter Canning;William Cook;Walter Hill;Walter Olthoff

  • Foundations of programming languages

    John C. Mitchell

  • Decision problems for propositional linear logic

    Patrick Lincoln;Patrick Lincoln;John C. Mitchell;Andre Scedrov;Natarajan Shankar

  • Practical declarative network management

    Timothy L. Hinrichs;Natasha S. Gude;Martin Casado;John C. Mitchell

  • A meta-notation for protocol analysis

    I. Cervesato;N.A. Durgin;P.D. Lincoln;J.C. Mitchell

Frequent Co-Authors

Anupam Datta
Anupam Datta Carnegie Mellon University
Andre Scedrov
Andre Scedrov University of Pennsylvania
William A. Brantley
William A. Brantley The Ohio State University
A. C. Weber
A. C. Weber University of Oxford
Richard W Gran
Richard W Gran University of Minnesota
Maury Goodman
Maury Goodman Argonne National Laboratory
Harvey B Newman
Harvey B Newman California Institute of Technology
P. Gouffon
P. Gouffon Universidade de São Paulo
M. Bishai
M. Bishai Brookhaven National Laboratory
J. K. Nelson
J. K. Nelson William & Mary

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees in STEM fields can open up exciting career opportunities alongside Computer Science. Many reputable universities now offer flexible programs in engineering, data science, and related subjects to help students upskill from anywhere.

For those interested in engineering, you can find online mechanical engineering degrees that balance affordability with quality education. Similarly, if you’re curious about the sciences, you might wonder, can you get a physics degree online? Today, flexible online physics programs make this not only possible, but increasingly popular.

Data science continues to see enormous growth in demand. For graduate-level aspirants, pursuing the cheapest data science masters in usa can help launch a lucrative career without the burden of excessive tuition costs. Additionally, those interested in electronics or telecommunications should consider programs with transparent costs, such as the electrical engineering online tuition costs guide.

Online study provides flexibility and a range of career pathways, making it easier than ever to pursue a degree that aligns with your interests and professional goals.

Best Scientists Citing John C. Mitchell

Trending Scientists

Recently Published Articles