John C Mitchell
Scholar

John C Mitchell

Google Scholar ID: 1_kJPIEAAAAJ
Professor of Computer Science, Stanford University
Computer securityprogramming languagesmathematical logiceducation
Google Scholar↗
Citations & Impact
All-time
Citations
6,395
 
H-index
37
 
i10-index
110
 
Publications
20
 
Co-authors
95
list available
Contact
No contact links provided.
Publications
1 items
What Is Your Agent's GPA? A Framework for Evaluating Agent Goal-Plan-Action Alignment
2025
Cited
0
Resume (English only)
Co-authors
95 total
Anupam Datta
Anupam Datta
Snowflake AI Research, Ex-Professor CMU
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Ante Derek
Ante Derek
Associate Professor, University of Zagreb Faculty of Electrical Engineering and Computing
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Ninghui Li
Ninghui Li
Professor of Computer Science, Purdue University
Dan Boneh
Dan Boneh
Professor of Computer Science, Stanford University