Johna C. Mitchella

Ten artykuł dotyczy informatyka. Dla pisarza, aktora i reżysera, patrz John Cameron Mitchell . Dla szkockiego pejzażysty, patrz John Campbell Mitchell .

Kariera naukowa
Johna Clifforda Mitchella
Instytucje	Stanford University Bell Labs Massachusetts Institute of Technology
Doradcy akademiccy	Alberta R. Meyera
Doktoranci	Vanessa Teague
Strona internetowa	teoria .stanford .edu / ludzie / jcm

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

John C. Mitchell był prorektorem ds. nauczania i uczenia się na Uniwersytecie Stanforda, profesorem rodziny Mary i Gordona Crary w dziedzinie informatyki i inżynierii elektrycznej na Uniwersytecie Stanforda, współdyrektorem Stanford Computer Security Lab oraz profesorem (dzięki uprzejmości) Edukacja. Jest członkiem komitetu sterującego Cyber ​​Initiative na Uniwersytecie Stanforda . Mitchell jest prorektorem na Uniwersytecie Stanforda od 2012 roku, najpierw jako inauguracyjny prorektor ds. nauki online, a teraz pełni szerszą rolę w nauczaniu i uczeniu się. Pod kierunkiem Mitchella, Biuro wicedyrektora ds. nauczania i uczenia się (VPTL) rozwija nauczanie i uczenie się poprzez inicjatywy i badania kierowane przez wykładowców, przekształcając edukację w klasach Stanforda i poza nimi.

Pierwszy projekt badawczy Mitchella dotyczący nauki online rozpoczął się w 2009 roku, kiedy wraz z sześcioma studentami stworzył Stanford CourseWare, innowacyjną platformę, która została rozszerzona o obsługę interaktywnych filmów wideo i dyskusji. CourseWare posłużyło jako podstawa pierwszych 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 prorektora ds. nauczania online zostało utworzone w sierpniu 2012 r., Po tym, jak Mitchell pełnił funkcję Johna L. Hennessy'ego - 10. rektora Uniwersytetu Stanforda - specjalnego asystenta ds. Technologii edukacyjnych i przewodniczył komitetowi wydziałowemu, który ustalił wstępne priorytety dla Stanford i rozwinął własność intelektualną wytyczne dotyczące publicznie udostępnianych kursów online.

Aby pomóc w budowaniu doświadczenia wykładowców i katalogu materiałów online, prorektor Mitchell uruchomił latem 2012 r . wydziałowy program stypendialny . Program ten pomógł wykładowcom w całym kampusie przekształcić ich kursy na kampusie Stanforda i udostępnić kursy publiczne światu, wywołując rzeczowe dyskusje i debaty wśród wykładowców w tym procesie.

Oprócz wspierania dostarczania cyfrowych treści kursów, zespół inżynierów VPTL pracuje nad rozszerzeniem funkcji Lagunita , będącej wersją open source platformy edX firmy Stanford. Mitchell i jego zespół, we współpracy z edX, ogłosili wydanie Open edX w czerwcu 2013 r.: platformę hostingową typu open source, zapewniającą dostosowywalną alternatywę dla wszystkich szkół wyższych i uniwersytetów oraz wspierającą otwarte badania i innowacje edukacyjne.

Kursy online Stanford generują bogactwo danych uczestników 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 Thille z Graduate School of Education, VPTL odgrywa kluczową rolę w ocenie wyników edukacyjnych i ulepszaniu nauczania online w oparciu o dane -napędzane badania i projektowanie iteracyjne.

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

Mitchell posiada tytuł licencjata Uniwersytetu Stanforda oraz tytuł magistra i doktora. z Massachusetts Institute of Technology (MIT). Zasiadał w radach redakcyjnych dziesięciu czasopism akademickich, był konsultantem i doradcą wielu firm oraz 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 jest jednym z najczęściej cytowanych uczonych 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 opracowaniu 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 sieciowym i prywatności.

Mitchell od ponad dekady przoduje w badaniach i edukacji w zakresie bezpieczeństwa sieci i sieci, pomagając szkolić tysiące studentów w zakresie języków programowania i setki profesjonalistów na poziomie eksperta w dziedzinie bezpieczeństwa cybernetycznego. Jego wysiłki zaowocowały rozwojem koncepcji stosowanych w popularnym języku programowania Java, poprawą bezpieczeństwa szeroko stosowanych protokołów sieci bezprzewodowych, przyczyniły się do powstania architektury bezpieczeństwa przeglądarki Chrome i innych elementów współczesnej sieci.

W sierpniu 2012 r. Mitchell został mianowany przez prezydenta Stanforda, Johna L. Hennessy'ego , zastępcą rektora ds. nauki online, nowo utworzonego stanowiska odpowiedzialnego za nadzorowanie inicjatyw Stanforda w zakresie nauki online.