John C. Mitchell

Last updated
John Clifford Mitchell
John Mitchell, Vice Provost for Online Learning.jpeg
Scientific career
Institutions Stanford University
Bell Labs
Massachusetts Institute of Technology [1]
Academic advisors Albert R. Meyer [2]
Doctoral students Vanessa Teague
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. [1] [2] [3] [4] [5] [6]

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. [7] [8] He is a member of the steering committee for Stanford University's 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, the 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.[ promotion? ]

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.[ promotion? ]

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 a faculty seed grant program in Summer 2012. [9] 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. [10] [11] [12] [13]

In addition to supporting delivery of digital course content, the VPTL engineering team is working to expand the features of Lagunita, Stanford's instance of the open-source release of the edX platform. Mitchell and his team, in partnership with edX, announced the release of Open edX [14] in June 2013: an open-source hosting platform, providing a customizable alternative for all colleges and universities and supporting open educational research and innovation. [15] [16]

Stanford's online courses are generating a wealth of course participant data.[ promotion? ] In collaboration with Stanford centers of scholarship such as the Lytics Lab, [17] 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.[ promotion? ]

In May 2014, Mitchell's team issued a 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[ promotion? ], and spent sabbaticals at the Newton Institute for Mathematical Science and Coverity, Inc. Mitchell is theauthor of two books, over 170 research papers, and is among the most-cited scholars in computer science. [18]

Research

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

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.[ promotion? ] 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 as the Vice Provost for Online Learning, a newly created position responsible for overseeing Stanford's online learning initiatives.

Related Research Articles

<span class="mw-page-title-main">University of Manitoba</span> Public university in Winnipeg, Manitoba, Canada

The University of Manitoba is a public research university in Winnipeg City, Manitoba Province, Canada. Founded in 1877, it is the first university of Western Canada. Both by total student enrolment and campus area, the University of Manitoba is the largest university in the province of Manitoba. Its main campus is located in the Fort Garry neighbourhood of Winnipeg, with other campuses throughout the city: the Bannatyne Campus, the James W. Burns Executive Education Centre, the William Norrie Centre, and the French-language affiliate, Université de Saint-Boniface in the Saint Boniface ward.

The Graduate School and University Center of the City University of New York is a public research institution and postgraduate university in New York City. Serving as the principal doctorate-granting institution of the City University of New York (CUNY) system, The CUNY Graduate Center is classified among "R1: Doctoral Universities – Very High Research Activity". The school is located at the B. Altman and Company Building at 365 Fifth Avenue in Midtown Manhattan. The CUNY Graduate Center has 4,600 students, 31 doctoral programs, 14 master's programs, and 30 research centers and institutes. It employs a core faculty of approximately 140, who are supplemented by 1,800 faculty members from CUNY's eleven senior colleges and New York City's cultural and scientific institutions.

<span class="mw-page-title-main">Department of Computer Science and Technology, University of Cambridge</span> Computer science division at the University of Cambridge

The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. As of 2023 it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students. The current Head of Department is Professor Alastair Beresford.

The Open University of Israel is a distance-education university in Israel. It is one of ten public universities in Israel recognized by the Council of Higher Education (CHE). The Open University is unique in that it does not require a matriculation certificate, psychometric exam, or other entrance exam for admission to undergraduate studies.

<span class="mw-page-title-main">University of Alabama in Huntsville</span> Public university in Huntsville, Alabama, US

The University of Alabama in Huntsville (UAH) is a public research university in Huntsville, Alabama. The university is accredited by the Southern Association of Colleges and Schools and comprises eight colleges: arts, humanities & social sciences; business; education; engineering; honors; nursing; science; and graduate. The university's enrollment is approximately 10,000. It is part of the University of Alabama System and is classified among "R1: Doctoral Universities: Very High Research Activity".

<span class="mw-page-title-main">Thompson Rivers University</span> Public university in British Columbia, Canada

Thompson Rivers University is a public teaching and research university offering undergraduate and graduate degrees and vocational training. Its main campus is in Kamloops, British Columbia, Canada, and its name comes from the two rivers which converge in Kamloops, the North Thompson and South Thompson. The university has a satellite campus in Williams Lake, BC and a distance education division called TRU-Open Learning. It also has several international partnerships through its TRU World division. TRU is accredited by the Northwest Commission on Colleges and Universities (NWCCU) at the associate, baccalaureate and master's degree levels.

Jeffrey David Ullman is an American computer scientist and the Stanford W. Ascherman Professor of Engineering, Emeritus, at Stanford University. His textbooks on compilers, theory of computation, data structures, and databases are regarded as standards in their fields. He and his long-time collaborator Alfred Aho are the recipients of the 2020 Turing Award, generally recognized as the highest distinction in computer science.

<span class="mw-page-title-main">University of the Philippines Open University</span> Public university in Laguna, Philippines

The University of the Philippines Open University(UPOU) is a public research university and is the fifth constituent university of the University of the Philippines System. The majority of UPOU students are based in the Philippines but all of its programs can be taken anywhere in the world. While primarily a virtual university, it has a physical campus that houses admin and faculty offices in Los Baños, Laguna, with Mega Learning Hubs (MLH) in Manila and Cebu.

Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University.

The Stanford Learning Lab was an applied research organization that "carried out projects to improve the quality of teaching and learning in higher education through effective application of information technologies and the sciences of learning". It was created in 1997 on the recommendation of the Stanford University President's Commission on Technology in Teaching and Learning. Professors Larry Leifer and Larry Friedlander lead a staff of researchers, technologists, educators, and teaching and learning specialists who worked with Stanford faculty to enhance learning by students in their courses. The Stanford Learning Lab completed its work in the spring of 2002 and was followed by The Stanford Center for Innovations in Learning (SCIL), which inherited core capabilities in technology development, educational program evaluation, and learning design and continued to perform research in these areas.

<span class="mw-page-title-main">Christoph Meinel</span> German computer scientist

Christoph Meinel is a German computer scientist and professor of Internet technologies and systems at the Hasso Plattner Institute (HPI) of the University of Potsdam. In the years 2004 to 2023 he was the scientific director and CEO of the HPI and has developed the openHPI learning platform with more than 1 million enrolled learners. In 2019, he was appointed to the New Internet IPv6 Hall of Fame.

OpenCourseWare (OCW) are course lessons created at universities and published for free via the Internet. OCW projects first appeared in the late 1990s, and after gaining traction in Europe and then the United States have become a worldwide means of delivering educational content.

Mobile-assisted language learning (MALL) is language learning that is assisted or enhanced through the use of a handheld mobile device.

Stanford University has many centers and institutes dedicated to the study of various specific topics. These centers and institutes may be within a department, within a school but across departments, an independent laboratory, institute or center reporting directly to the dean of research and outside any school, or semi-independent of the university itself.

<span class="mw-page-title-main">History of virtual learning environments</span> Home

A Virtual Learning Environment (VLE) is a system specifically designed to facilitate the management of educational courses by teachers for their students. It predominantly relies on computer hardware and software, enabling distance learning. In North America, this concept is commonly denoted as a "Learning Management System" (LMS).

<span class="mw-page-title-main">Andrew Ng</span> American artificial intelligence researcher

Andrew Yan-Tak Ng is a British-American computer scientist and technology entrepreneur focusing on machine learning and artificial intelligence (AI). Ng was a cofounder and head of Google Brain and was the former Chief Scientist at Baidu, building the company's Artificial Intelligence Group into a team of several thousand people.

Andrew McCallum is a professor in the computer science department at University of Massachusetts Amherst. His primary specialties are in machine learning, natural language processing, information extraction, information integration, and social network analysis.

<span class="mw-page-title-main">Digital Writing and Research Lab</span> American research lab

The Digital Writing and Research Lab (DWRL) is a research lab at The University of Texas at Austin, United States, dedicated to the identification and promotion of twenty-first-century literacies. These literacies range from navigating online newsfeeds and participating in social networking sites to composing multimedia texts that require producing, sampling, and/or remixing media content.

<span class="mw-page-title-main">Massive open online course</span> Education service on the web

A massive open online course or an open online course is an online course aimed at unlimited participation and open access via the Web. In addition to traditional course materials, such as filmed lectures, readings, and problem sets, many MOOCs provide interactive courses with user forums or social media discussions to support community interactions among students, professors, and teaching assistants (TAs), as well as immediate feedback to quick quizzes and assignments. MOOCs are a widely researched development in distance education, first introduced in 2008, that emerged as a popular mode of learning in 2012, a year called the "Year of the MOOC".

Boon Thau Loo is a Singaporean-American computer scientist, college administrator, and technology entrepreneur. He is currently the RCA professor in the Computer and Information Science department at the University of Pennsylvania where he leads a research lab working on distributed systems, and serves as the Associate Dean for Graduate Programs at the University of Pennsylvania School of Engineering and Applied Science.

References

  1. 1 2 John C. Mitchell author profile page at the ACM Digital Library OOjs UI icon edit-ltr-progressive.svg
  2. 1 2 John Clifford Mitchell at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  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. John C. Mitchell at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  7. "Report of the President: Academic Council Professoriate appointments". Stanford University. October 14, 2013.
  8. "Stanford takes landmark step in online learning, appoints new vice provost". Stanford University. August 30, 2012.
  9. "Stanford faculty is embracing online teaching opportunities". Stanford News. Stanford University. July 17, 2012. Retrieved October 28, 2014.
  10. "Seed grants enable new online courses for Stanford students". Stanford News. Stanford University. January 14, 2013. Retrieved October 28, 2014.
  11. "Stanford seed grants for online learning highlight international collaboration". Stanford News. Stanford University. June 25, 2013.
  12. "Six seed grants awarded Spring 2014". Stanford Online. Stanford University. September 3, 2014.
  13. "New Seed Grant Program Announced for the 2014-2015 Academic Year". Stanford Online. Stanford University. October 27, 2014.
  14. "OpenEdX". Stanford Online. Stanford University. Archived from the original on 2015-11-08.
  15. "Stanford online coursework to be available on new open-source platform". Stanford News. Stanford University. June 11, 2013.
  16. "Stanford to collaborate with edX to develop a free, open source online learning platform". Stanford News. Stanford University. April 3, 2013.
  17. "Lytics Lab". Lytics Lab. Stanford University.
  18. "Biography: John Mitchell, Vice Provost for Online Learning". Office of the Vice Provost for Online Learning. Stanford University. Archived from the original on 2014-10-29.
  19. 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 . S2CID   1222153.