Джон Клиффорд Митчелл — профессор компьютерных наук и (по любезности) электротехники в Стэнфордском университете . Он опубликовал работы в области теории языков программирования и компьютерной безопасности . [1] [2] [3] [4] [5] [6]
Джон К. Митчелл был проректором по преподаванию и обучению в Стэнфордском университете, профессором компьютерных наук и электротехники в Стэнфордском университете, содиректором Стэнфордской лаборатории компьютерной безопасности и профессором (по любезности) образования. [7] [8] Он является членом руководящего комитета Киберинициативы Стэнфордского университета. Митчелл был проректором Стэнфордского университета с 2012 года, сначала в качестве первого проректора по онлайн-обучению, а теперь в более широкой роли по преподаванию и обучению. Под руководством Митчелла Офис проректора по преподаванию и обучению (VPTL) продвигает преподавание и обучение с помощью инициатив и исследований, проводимых преподавателями, преобразуя образование в классах Стэнфорда и за его пределами. [ продвижение? ]
Первый исследовательский проект Митчелла в области онлайн-обучения начался в 2009 году, когда он и шесть студентов-бакалавров создали Stanford CourseWare — инновационную платформу, которая была расширена для поддержки интерактивного видео и обсуждений. CourseWare послужила основой для первых экспериментов с перевернутым классом в Стэнфорде и помогла вдохновить на создание первых массовых открытых онлайн-курсов (MOOC) из Стэнфорда, которые привлекли внимание всего мира в 2011 году. [ продвижение? ]
Офис проректора по онлайн-обучению был создан в августе 2012 года после того, как Митчелл занимал должность специального помощника по образовательным технологиям Джона Л. Хеннесси — 10-го президента Стэнфордского университета — и возглавлял факультетский комитет, который определил первоначальные приоритеты для Стэнфорда и разработал руководящие принципы в области интеллектуальной собственности для публично публикуемых онлайн-курсов.
Чтобы помочь преподавателям накопить опыт и каталог онлайн-материалов, проректор Митчелл летом 2012 года запустил программу грантов для преподавателей. [9] Эта программа помогла преподавателям по всему кампусу преобразовать свои курсы в кампусе Стэнфорда и выпустить общедоступные курсы для всего мира, вызвав в процессе информированное обсуждение и дебаты среди преподавателей. [10] [11] [12] [13]
Помимо поддержки доставки цифрового контента курса, команда инженеров VPTL работает над расширением функций Lagunita, экземпляра Стэнфорда с открытым исходным кодом платформы edX. Митчелл и его команда в партнерстве с edX объявили о выпуске Open edX [14] в июне 2013 года: платформа хостинга с открытым исходным кодом, предоставляющая настраиваемую альтернативу для всех колледжей и университетов и поддерживающая открытые образовательные исследования и инновации. [15] [16]
Онлайн-курсы Стэнфорда генерируют множество данных об участниках курсов. [ продвижение? ] В сотрудничестве с научными центрами Стэнфорда, такими как Lytics Lab [17] , которую совместно курируют Митчелл, а также Митчелл Стивенс и Кэндис Тилле из Высшей школы образования, VPTL играет ключевую роль в оценке результатов обучения и улучшении онлайн-обучения на основе исследований, основанных на данных, и итеративного проектирования. [ продвижение? ]
В мае 2014 года команда Митчелла опубликовала подробный отчет для обмена контрольной информацией с другими высшими учебными заведениями.
Митчелл имеет степень бакалавра Стэнфордского университета, а также степень магистра и доктора философии Массачусетского технологического института (MIT). Он входил в состав редколлегии десяти академических журналов, был консультантом и советником многочисленных компаний [ продвижение? ] и проводил творческие отпуска в Институте математических наук Ньютона и Coverity, Inc. Митчелл является автором двух книг, более 170 исследовательских работ и входит в число наиболее цитируемых ученых в области компьютерных наук. [18]
Вместе с Гордоном Плоткиным он отметил связь между экзистенциальными типами и абстрактными типами данных . [19]
Ранние исследования Митчелла в области компьютерных наук были сосредоточены на программном анализе и проектировании, где он сыграл ключевую роль в разработке теории типов как основы для языков программирования, взгляд, который сейчас доминирует в этой области. В течение последних 15 лет его исследования были сосредоточены на компьютерной безопасности, разработке методов анализа и улучшении безопасности сетевых протоколов, авторизации и контроля доступа, веб-безопасности и конфиденциальности.
Митчелл уже более десяти лет находится на переднем крае исследований и образования в области безопасности сетей и Интернета и помог обучить тысячи студентов языкам программирования и сотни профессионалов экспертного уровня в области кибербезопасности. [ продвижение? ] Его усилия привели к разработке концепций, используемых в популярном языке программирования Java, повысили безопасность широко используемых протоколов беспроводных сетей, внесли вклад в архитектуру безопасности браузера Chrome и других компонентов современного Интернета.
В августе 2012 года президент Стэнфорда Джон Л. Хеннесси назначил Митчелла вице- проректором по онлайн-обучению — недавно созданной должности, отвечающей за надзор за инициативами Стэнфорда в области онлайн-обучения.