John C. Mitchell

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Professor John Mitchell
John C. Mitchell.jpg
Born John Clifford Mitchell
Institutions Stanford University
Bell Labs
Massachusetts Institute of Technology[1]
Academic advisors Albert R. Meyer[2]
Doctoral students Ole Agesen
Ajay Chander
Anupam Datta
Ante Derek
Nancy Durgin
Kathleen Fisher
Stephen Freund
Changhua He
My Hoang
Brian Howard
Dinesh Katiyar
Morris Katz
Patrick Lincoln
Amit Patel
Ajith Ramanathan
Vitaly Shmatikov
Mukund Sundararajan
Vanessa Teague
Ramesh Viswanathan[2]
Website
theory.stanford.edu/people/jcm

John Clifford Mitchell is professor of computer science and (by courtesy) electrical engineering at Stanford University. He has published in the area of programming language theory and computer security.[3][4][5][6][2][1]

Research[edit]

Together with Gordon Plotkin he noted the connection between existential types and abstract data types.[7]

In August of 2012, Mitchell was appointed by Stanford President John L. Hennessy as the Vice Provost for Online Learning, a newly created position responsible for overseeing Stanford's MOOC program.


References[edit]

  1. ^ a b John C. Mitchell from the ACM Portal
  2. ^ a b c John C. Mitchell at the Mathematics Genealogy Project
  3. ^ Gunter, Carl A.; Mitchell, John C. (1994). Theoretical Aspects of Object-Oriented Programming. The MIT Press. 
  4. ^ Mitchell, John C. (1996). Foundations for Programming Languages. The MIT Press. 
  5. ^ Mitchell, John C. (2002). Concepts in Programming Languages. Cambridge University Press. 
  6. ^ List of publications from the DBLP Bibliography Server
  7. ^ Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems 10 (3): 470. doi:10.1145/44501.45065.  edit