John C. Mitchell - John C. Mitchell
John Clifford Mitchell | |
---|---|
Kariera naukowa | |
Instytucje |
Bell Labs Uniwersytetu Stanforda Massachusetts Institute of Technology |
Doradcy akademiccy | Albert R. Meyer |
Doktoranci | Vanessa Teague |
Strona internetowa | teoria |
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.