John C. Mitchell - John C. Mitchell

John Clifford Mitchell
John Mitchell, wicedyrektor ds. nauczania online.jpeg
Kariera naukowa
Instytucje
Bell Labs Uniwersytetu Stanforda
Massachusetts Institute of Technology
Doradcy akademiccy Albert R. Meyer
Doktoranci Vanessa Teague
Strona internetowa teoria .stanford .edu /ludzie /jcm

John Clifford Mitchell jest profesorem informatyki i (dzięki uprzejmości) inżynierem elektrykiem na Uniwersytecie Stanforda . Publikował w zakresie teorii języków programowania i bezpieczeństwa komputerowego .

John C. Mitchell był zastępcą rektora ds. nauczania i uczenia się na Uniwersytecie Stanforda, profesorem rodziny Mary and Gordon Crary w dziedzinie informatyki i elektrotechniki na Uniwersytecie Stanforda, współdyrektorem Laboratorium Bezpieczeństwa Komputerowego Stanforda i profesorem (dzięki uprzejmości) Edukacja. Jest członkiem komitetu sterującego Cyber ​​Initiative Uniwersytetu Stanforda . Mitchell jest wicedyrektorem na Uniwersytecie Stanforda od 2012 roku, najpierw jako inauguracyjny wicedyrektor ds. uczenia się online, a teraz pełni szerszą rolę w dziedzinie nauczania i uczenia się. Pod kierownictwem Mitchella, Office of the Vice Provost for Teaching and Learning (VPTL) rozwija nauczanie i uczenie się poprzez inicjatywy i badania prowadzone przez wydziały, przekształcając edukację w klasach Stanforda i nie tylko.

Pierwszy projekt badawczy Mitchella dotyczący nauki online rozpoczął się w 2009 roku, kiedy wraz z sześcioma studentami studiów licencjackich zbudował Stanford CourseWare, innowacyjną platformę, która rozszerzyła się o obsługę interaktywnego wideo i dyskusji. CourseWare posłużyło jako podstawa do początkowych eksperymentów z odwróconą klasą w Stanford i pomogło zainspirować pierwsze masowe otwarte kursy online (MOOC) w Stanford, które przyciągnęły uwagę całego świata w 2011 roku.

Biuro wicedyrektora ds. nauczania online zostało utworzone w sierpniu 2012 r., po tym, jak Mitchell pełnił funkcję Johna L. Hennessy'ego — dziesiątego prezesa Uniwersytetu Stanford — specjalnego asystenta ds. technologii edukacyjnych i przewodniczył komisji wydziałowej, która ustaliła wstępne priorytety dla Stanford i rozwinęła własność intelektualną wytyczne dotyczące publicznie dostępnych kursów online.

Aby pomóc w budowaniu doświadczenia wydziałów i katalogu materiałów online, wiceprzewodniczący Mitchell uruchomił program dotacji dla wydziałów latem 2012 r. Program ten pomógł wykładowcom w całym kampusie przekształcić kursy w kampusie Stanford i udostępnić kursy publiczne światu, generując świadomą dyskusję i debatę wśród wydziałów w tym procesie.

Oprócz wspierania dostarczania treści kursów cyfrowych, zespół inżynierów VPTL pracuje nad rozszerzeniem funkcji Lagunita , instancji Stanforda w wersji open source platformy edX. Mitchell i jego zespół, we współpracy z edX, ogłosili wydanie Open edX w czerwcu 2013 r.: platformy hostingowej o otwartym kodzie źródłowym, zapewniającej konfigurowalną alternatywę dla wszystkich uczelni i wspierających badania i innowacje w otwartej edukacji.

Kursy online Stanford generują mnóstwo danych o uczestnikach kursów. We współpracy z ośrodkami stypendialnymi Stanford, takimi jak Lytics Lab , które jest wspólnie nadzorowane przez Mitchella, oraz Mitchell Stevens i Candace Tille z Graduate School of Education, VPTL odgrywa kluczową rolę w ocenie wyników edukacyjnych i doskonaleniu uczenia się online w oparciu o dane napędzane badaniami i projektowaniem iteracyjnym.

W maju 2014 r. zespół Mitchella wydał obszerny raport, aby podzielić się informacjami porównawczymi z innymi instytucjami szkolnictwa wyższego.

Mitchell posiada tytuł licencjata na Uniwersytecie Stanforda oraz tytuł magistra i doktora. z Massachusetts Institute of Technology (MIT). Był członkiem rady redakcyjnej dziesięciu czasopism akademickich, był konsultantem i doradcą wielu firm, a także spędził urlop naukowy w Newton Institute for Mathematical Science and Coverity, Inc. Mitchell jest autorem dwóch książek, ponad 170 artykułów naukowych i należy do najczęściej cytowanych naukowców w dziedzinie informatyki.

Badania

Wraz z Gordonem Plotkinem zauważył związek między typami egzystencjalnymi a abstrakcyjnymi typami danych .

Wczesne badania informatyczne Mitchella koncentrowały się na analizie i projektowaniu programowania, gdzie odegrał kluczową rolę w rozwoju teorii typów jako podstawy języków programowania, poglądu, który obecnie dominuje w tej dziedzinie. Przez ostatnie 15 lat jego badania koncentrowały się na bezpieczeństwie komputerowym, opracowywaniu metod analizy i poprawie bezpieczeństwa protokołów sieciowych, autoryzacji i kontroli dostępu, bezpieczeństwie sieci i prywatności.

Mitchell od ponad dziesięciu lat jest liderem badań i edukacji w zakresie bezpieczeństwa sieci i sieci, a także pomógł przeszkolić tysiące studentów w zakresie języków programowania oraz setki specjalistów na poziomie eksperckim w dziedzinie cyberbezpieczeństwa. Jego wysiłki zaowocowały opracowaniem koncepcji wykorzystywanych w popularnym języku programowania Java, poprawiły bezpieczeństwo szeroko stosowanych protokołów sieci bezprzewodowych, przyczyniły się do budowy architektury bezpieczeństwa przeglądarki Chrome i innych komponentów współczesnego internetu.

W sierpniu 2012 r. Mitchell został mianowany przez prezesa Stanforda Johna L. Hennessy'ego na zastępcę rektora ds. uczenia się online, nowo utworzonego stanowiska odpowiedzialnego za nadzorowanie inicjatyw uczenia się online w Stanford.

Bibliografia