John C. Mitchell
   HOME

TheInfoList



OR:

John Clifford Mitchell is professor of
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
and (by courtesy)
electrical engineering Electrical engineering is an engineering discipline concerned with the study, design, and application of equipment, devices, and systems which use electricity, electronics, and electromagnetism. It emerged as an identifiable occupation in the l ...
at
Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...
. He has published in the area of
programming language theory Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is clos ...
and
computer security Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
.
John C. Mitchell
was the Vice Provost for Teaching and Learning at Stanford University, the Mary and Gordon Crary Family Professor in Computer Science and Electrical Engineering at Stanford University, co-director of the Stanford Computer Security Lab, and Professor (by courtesy) of Education. He is a member of the steering committee for Stanford University'
Cyber Initiative
Mitchell has been Vice Provost at Stanford University since 2012, first as the inaugural Vice Provost for Online Learning and now in a broader role for Teaching and Learning. Under Mitchell's direction, th
Office of the Vice Provost for Teaching and Learning
(VPTL) is advancing teaching and learning through faculty-driven initiatives and research, transforming education in Stanford's classrooms and beyond. Mitchell's first research project in online learning started in 2009 when he and six undergraduate students built Stanford CourseWare, an innovative platform that expanded to support interactive video and discussion. CourseWare served as the foundation for initial flipped classroom experiments at Stanford and helped inspire the first massive open online courses (MOOCs) from Stanford that captured worldwide attention in 2011. The Office of the Vice Provost for Online Learning was as established in August 2012, after Mitchell served as John L. Hennessy's — Stanford University's 10th President — special assistant for educational technology and chaired a faculty committee that established initial priorities for Stanford and developed intellectual property guidelines for publicly released online courses. To help build faculty experience and a catalogue of online material, Vice Provost Mitchell launched
faculty seed grant program
in Summer 2012. This program has helped faculty across campus transform their Stanford campus courses and release public courses to the world, generating informed discussion and debate among faculty in the process. In addition to supporting delivery of digital course content, the VPTL engineering team is working to expand the features o
Lagunita
Stanford's instance of the open-source release of the edX platform. Mitchell and his team, in partnership with edX

the release of Open edX in June 2013: an open-source hosting platform, providing a customizable alternative for all colleges and universities and supporting open educational research and innovation. Stanford's online courses are generating a wealth of course participant data. In collaboration with Stanford centers of scholarship such as th
Lytics Lab
which is jointly supervised by Mitchell, and Mitchell Stevens and Candace Thille of the Graduate School of Education, VPTL is playing a key role in evaluating educational outcomes and improving online learning based on data-driven research and iterative design. In May 2014, Mitchell's team issued
comprehensive report
to share benchmark information with other institutions of higher education. Mitchell holds a B.S. from Stanford University and a M.S. and Ph.D. from the Massachusetts Institute of Technology (MIT). He has served on the editorial board of ten academic journals, acted as consultant and advisor to numerous companies, and spent sabbaticals at the Newton Institute for Mathematical Science and Coverity, Inc. Mitchell is the'' ''author of two books, over 170 research papers, and is among the most-cited scholars in computer science.


Research

Together with
Gordon Plotkin Gordon David Plotkin, (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and hi ...
he noted the connection between
existential type In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer progra ...
s and
abstract data type In computer science, an abstract data type (ADT) is a mathematical model for data types. An abstract data type is defined by its behavior (Semantics (computer science), semantics) from the point of view of a ''User (computing), user'', of the dat ...
s. Mitchell's early computer science research focused on programming analysis and design, where he played a pivotal role in developing type theory as a foundation for programming languages, a view that is now dominant in the field. For the past 15 years, his research has focused on computer security, developing analysis methods and improving network protocol security, authorization and access control, web security, and privacy. Mitchell has been at the forefront of Web and network security research and education for more than a decade and has helped train thousands of students in programming languages and hundreds of expert-level professionals in the area of cyber-security. His efforts have resulted in the development of concepts used in the popular Java programming language, improved the security of widely used wireless networking protocols, contributed to the security architecture of the Chrome browser and other components of the modern web. In August 2012, Mitchell was appointed by Stanford President
John L. Hennessy John Leroy Hennessy (born September 22, 1952) is an American computer scientist, academician and businessman who serves as Chairman of Alphabet Inc. Hennessy is one of the founders of MIPS Computer Systems Inc. as well as Atheros and served as t ...
as the Vice Provost for Online Learning, a newly created position responsible for overseeing Stanford's online learning initiatives.


References

{{DEFAULTSORT:Mitchell, John C. American computer scientists Programming language researchers Living people Year of birth missing (living people)