John Clifford Mitchell ist Professor für Informatik und (ehrenhalber) für Elektrotechnik an der Stanford University . Er hat auf dem Gebiet der Programmiersprachentheorie und der Computersicherheit publiziert . [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ]

John C. Mitchell war Vizepräsident für Lehre und Lernen an der Stanford University, Inhaber des Mary-und-Gordon-Crary-Lehrstuhls für Informatik und Elektrotechnik an der Stanford University, Co-Direktor des Stanford Computer Security Lab und Professor (ehrenhalber) für Erziehungswissenschaften. [ 7 ] [ 8 ] Er ist Mitglied des Lenkungsausschusses der Cyber-Initiative der Stanford University . Mitchell ist seit 2012 Vizepräsident der Stanford University, zunächst als erster Vizepräsident für Online-Lehre und nun in einer umfassenderen Funktion für Lehre und Lernen. Unter seiner Leitung fördert das Büro des Vizepräsidenten für Lehre und Lernen (VPTL) die Lehre und das Lernen durch fakultätsgeleitete Initiativen und Forschung und transformiert so die Bildung in den Hörsälen Stanfords und darüber hinaus.

Mitchells erstes Forschungsprojekt im Bereich Online-Lernen begann 2009, als er zusammen mit sechs Studenten Stanford CourseWare entwickelte, eine innovative Plattform, die später um interaktive Videos und Diskussionsforen erweitert wurde. CourseWare diente als Grundlage für erste Experimente mit dem Konzept des umgedrehten Unterrichts an der Stanford University und inspirierte die ersten Massive Open Online Courses (MOOCs) der Stanford University, die 2011 weltweite Aufmerksamkeit erregten.

Das Büro des Vizepräsidenten für Online-Lernen wurde im August 2012 eingerichtet, nachdem Mitchell als Sonderassistent von John L. Hennessy – dem 10. Präsidenten der Stanford University – für Bildungstechnologie tätig war und einem Fakultätsausschuss vorsaß, der erste Prioritäten für Stanford festlegte und Richtlinien für geistiges Eigentum für öffentlich zugängliche Online-Kurse entwickelte.

Um die praktische Erfahrung der Dozenten zu fördern und ein Angebot an Online-Materialien zu erstellen, rief Vizepräsident Mitchell im Sommer 2012 ein Förderprogramm für Dozenten ins Leben. [ 9 ] Dieses Programm hat Dozenten auf dem gesamten Campus dabei unterstützt, ihre Lehrveranstaltungen an der Stanford University umzugestalten und öffentlich zugänglich zu machen, wodurch fundierte Diskussionen und Debatten unter den Dozenten angestoßen wurden. [ 10 ] [ 11 ] [ 12 ] [ 13 ]

Zusätzlich zur Unterstützung der Bereitstellung digitaler Kursinhalte arbeitet das VPTL-Entwicklungsteam an der Erweiterung der Funktionen von Lagunita , Stanfords Instanz der Open-Source-Version der edX-Plattform. Mitchell und sein Team kündigten in Zusammenarbeit mit edX im Juni 2013 die Veröffentlichung von Open edX [ 14 ] an : eine Open-Source-Hosting-Plattform, die eine anpassbare Alternative für alle Hochschulen bietet und offene Bildungsforschung und Innovation unterstützt. [ 15 ] [ 16 ]

Die Online-Kurse der Stanford University generieren eine Fülle von Teilnehmerdaten. In Zusammenarbeit mit Stanford-Forschungseinrichtungen wie dem Lytics Lab (archiviert am 31.01.2017 in der Wayback Machine [ 17 ]) , das von Mitchell gemeinsam geleitet wird, sowie Mitchell Stevens und Candace Thille von der Graduate School of Education spielt das VPTL eine Schlüsselrolle bei der Evaluation von Lernergebnissen und der Verbesserung des Online-Lernens auf Grundlage datengestützter Forschung und iterativer Gestaltung .

Im Mai 2014 veröffentlichte Mitchells Team einen umfassenden Bericht , um Vergleichsdaten mit anderen Hochschulen zu teilen.

Mitchell besitzt einen Bachelor-Abschluss der Stanford University sowie einen Master- und einen Doktortitel des Massachusetts Institute of Technology (MIT). Er war Mitglied des Redaktionsausschusses von zehn Fachzeitschriften, beriet zahlreiche Unternehmen und verbrachte Forschungsaufenthalte am Newton Institute for Mathematical Science und bei Coverity, Inc. Mitchell ist Autor zweier Bücher und über 170 Forschungsartikeln und zählt zu den meistzitierten Wissenschaftlern der Informatik. [ 18 ]

Forschung

Zusammen mit Gordon Plotkin stellte er den Zusammenhang zwischen existentiellen Typen und abstrakten Datentypen fest . [ 19 ]

Mitchells frühe Forschung in der Informatik konzentrierte sich auf die Programmanalyse und das Programmierdesign. Dabei spielte er eine entscheidende Rolle bei der Entwicklung der Typentheorie als Grundlage für Programmiersprachen – eine Sichtweise, die heute in diesem Bereich vorherrschend ist. In den letzten 15 Jahren hat er sich in seiner Forschung auf Computersicherheit konzentriert und Analysemethoden entwickelt sowie die Sicherheit von Netzwerkprotokollen, Autorisierung und Zugriffskontrolle, Websicherheit und Datenschutz verbessert.

Mitchell zählt seit über einem Jahrzehnt zu den führenden Köpfen in Forschung und Lehre im Bereich Web- und Netzwerksicherheit und hat Tausende von Studierenden in Programmiersprachen sowie Hunderte von Experten im Bereich Cybersicherheit ausgebildet. Seine Arbeit trug zur Entwicklung von Konzepten bei, die in der populären Programmiersprache Java Anwendung finden, verbesserte die Sicherheit weit verbreiteter drahtloser Netzwerkprotokolle und wirkte an der Sicherheitsarchitektur des Chrome-Browsers sowie anderer Komponenten des modernen Webs mit.

Im August 2012 wurde Mitchell von Stanford-Präsident John L. Hennessy zum Vizepräsidenten für Online-Lernen ernannt, einer neu geschaffenen Position, die für die Überwachung der Online-Lerninitiativen von Stanford zuständig ist.

Referenzen

  1. ^ a b John C. Mitchell Autorenprofilseite in der ACM Digital Library
  2. ^ a b John Clifford Mitchell beim Mathematics Genealogy Project
  3. ^ Gunter, Carl A.; Mitchell, John C. (1994). Theoretische Aspekte der objektorientierten Programmierung . The MIT Press.
  4. ^ Mitchell, John C. (1996). Grundlagen für Programmiersprachen . The MIT Press.
  5. ^ Mitchell, John C. (2002). Konzepte in Programmiersprachen . Cambridge University Press.
  6. ^ John C. Mitchell auf dem DBLP -Bibliographieserver
  7. ^ „Bericht des Präsidenten: Ernennungen von Professoren des Akademischen Rates“ . Stanford University. 14. Oktober 2013.
  8. ^ „Stanford unternimmt einen Meilenstein im Bereich des Online-Lernens und ernennt einen neuen Vizepräsidenten“ . Stanford University. 30. August 2012.
  9. ^ „Stanford-Fakultät nutzt Online-Lehrmöglichkeiten“ . Stanford News . Stanford University. 17. Juli 2012. Abgerufen am 28. Oktober 2014 .
  10. ^ „Anschubfinanzierung ermöglicht neue Online-Kurse für Stanford-Studenten“ . Stanford News . Stanford University. 14. Januar 2013. Abgerufen am 28. Oktober 2014 .
  11. ^ „Stanford-Anschubfinanzierungen für Online-Lernen unterstreichen internationale Zusammenarbeit“ . Stanford News . Stanford University. 25. Juni 2013.
  12. ^ „Sechs Anschubfinanzierungen im Frühjahr 2014 vergeben“ . Stanford Online . Stanford University. 3. September 2014.
  13. ^ „Neues Seed-Grant-Programm für das akademische Jahr 2014-2015 angekündigt“ . Stanford Online . Stanford University. 27. Oktober 2014.
  14. ^ „OpenEdX“ . Stanford Online . Stanford University. Archiviert vom Original am 8. November 2015.
  15. ^ „Stanford-Online-Kurse werden auf neuer Open-Source-Plattform verfügbar sein“ . Stanford News . Stanford University. 11. Juni 2013.
  16. ^ „Stanford kooperiert mit edX bei der Entwicklung einer kostenlosen Open-Source-Online-Lernplattform“ . Stanford News . Stanford University. 3. April 2013.
  17. ^ "Lytics Lab" . Lytics Lab . Stanford University.
  18. ^ „Biografie: John Mitchell, Vizepräsident für Online-Lehre“ . Büro des Vizepräsidenten für Online-Lehre . Stanford University. Archiviert vom Original am 29.10.2014.
  19. ^ Mitchell, JC ; Plotkin, GD (1988). „Abstrakte Typen haben einen existentiellen Typ“ . ACM Transactions on Programming Languages ​​and Systems . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID 1222153 .