John Clifford Mitchell es profesor de informática y (por cortesía) ingeniero eléctrico en la Universidad de Stanford . Ha publicado en el área de teoría de lenguajes de programación y seguridad informática . [1] [2] [3] [4] [5] [6]
John Clifford Mitchell | |
---|---|
Carrera científica | |
Instituciones | Instituto de Tecnología de Massachusetts Bell Labs de la Universidad de Stanford [1] |
Asesores académicos | Albert R. Meyer [2] |
Estudiantes de doctorado | Vanessa Teague |
Sitio web | teoría |
John C.Mitchell fue Vicerrector de Enseñanza y Aprendizaje en la Universidad de Stanford, Profesor de la Familia Mary and Gordon Crary en Ciencias de la Computación e Ingeniería Eléctrica en la Universidad de Stanford, codirector del Laboratorio de Seguridad Informática de Stanford y Profesor (por cortesía) de Educación. [7] [8] Es miembro del comité directivo de la Cyber Initiative de la Universidad de Stanford . Mitchell ha sido vicerrector de la Universidad de Stanford desde 2012, primero como vicerrector inaugural de aprendizaje en línea y ahora en un puesto más amplio de enseñanza y aprendizaje. Bajo la dirección de Mitchell, la Oficina del Vicerrectorado de Enseñanza y Aprendizaje (VPTL) está avanzando en la enseñanza y el aprendizaje a través de iniciativas e investigaciones impulsadas por el profesorado, transformando la educación en las aulas de Stanford y más allá.
El primer proyecto de investigación de Mitchell sobre aprendizaje en línea comenzó en 2009 cuando él y seis estudiantes de pregrado construyeron Stanford CourseWare, una plataforma innovadora que se expandió para admitir videos interactivos y discusiones. CourseWare sirvió como base para los experimentos iniciales en el aula invertida en Stanford y ayudó a inspirar los primeros cursos masivos abiertos en línea (MOOC) de Stanford que captaron la atención mundial en 2011.
La Oficina del Vicerrector de Aprendizaje en Línea se estableció en agosto de 2012, después de que Mitchell se desempeñara como asistente especial para tecnología educativa de John L. Hennessy, décimo presidente de la Universidad de Stanford, y presidiera un comité de profesores que estableció las prioridades iniciales para Stanford y desarrolló la propiedad intelectual directrices para los cursos en línea publicados públicamente.
Para ayudar a construir la experiencia del profesorado y un catálogo de material en línea, el Vice Rector Mitchell lanzó un programa de becas semilla para profesores en el verano de 2012. [9] Este programa ha ayudado a los profesores de todo el campus a transformar sus cursos del campus de Stanford y lanzar cursos públicos al mundo, generando información discusión y debate entre profesores en el proceso. [10] [11] [12] [13]
Además de respaldar la entrega de contenido de cursos digitales, el equipo de ingeniería de VPTL está trabajando para expandir las características de Lagunita , la instancia de Stanford del lanzamiento de código abierto de la plataforma edX. Mitchell y su equipo, en asociación con edX, anunciaron el lanzamiento de Open edX [14] en junio de 2013: una plataforma de alojamiento de código abierto, que proporciona una alternativa personalizable para todos los colegios y universidades y apoya la investigación e innovación educativa abierta. [15] [16]
Los cursos en línea de Stanford están generando una gran cantidad de datos de los participantes del curso. En colaboración con los centros académicos de Stanford, como el Lytics Lab , [17] que está supervisado conjuntamente por Mitchell, y Mitchell Stevens y Candace Thille de la Graduate School of Education, VPTL está desempeñando un papel clave en la evaluación de los resultados educativos y la mejora del aprendizaje en línea. basado en investigación basada en datos y diseño iterativo.
En mayo de 2014, el equipo de Mitchell emitió un informe completo para compartir información de referencia con otras instituciones de educación superior.
Mitchell tiene una licenciatura de la Universidad de Stanford y una maestría y un doctorado. del Instituto de Tecnología de Massachusetts (MIT). Ha formado parte del consejo editorial de diez revistas académicas, ha actuado como consultor y asesor de numerosas empresas y ha pasado sabáticos en el Newton Institute for Mathematical Science y Coverity, Inc. Mitchell es autor de dos libros, más de 170 artículos de investigación y se encuentra entre los académicos más citados en ciencias de la computación. [18]
Investigar
Junto con Gordon Plotkin , notó la conexión entre los tipos existenciales y los tipos de datos abstractos . [19]
La investigación inicial de Mitchell en ciencias de la computación se centró en el análisis y el diseño de programación, donde desempeñó un papel fundamental en el desarrollo de la teoría de tipos como base para los lenguajes de programación, una visión que ahora domina en el campo. Durante los últimos 15 años, su investigación se ha centrado en la seguridad informática, desarrollando métodos de análisis y mejorando la seguridad del protocolo de red, el control de autorización y acceso, la seguridad web y la privacidad.
Mitchell ha estado a la vanguardia de la investigación y educación en seguridad web y de redes durante más de una década y ha ayudado a capacitar a miles de estudiantes en lenguajes de programación y a cientos de profesionales de nivel experto en el área de ciberseguridad. Sus esfuerzos dieron como resultado el desarrollo de conceptos utilizados en el popular lenguaje de programación Java, mejoraron la seguridad de los protocolos de redes inalámbricas ampliamente utilizados, contribuyeron a la arquitectura de seguridad del navegador Chrome y otros componentes de la web moderna.
En agosto de 2012, Mitchell fue nombrado por el presidente de Stanford John L. Hennessy como Vice Provost para el aprendizaje en línea, un puesto de nueva creación responsable de supervisar las iniciativas de aprendizaje en línea de Stanford.
Referencias
- ^ a b Página de perfil del autor de John C. Mitchell en la Biblioteca digital de ACM
- ^ a b John Clifford Mitchell en el Proyecto de genealogía matemática
- ^ Gunter, Carl A .; Mitchell, John C. (1994). Aspectos teóricos de la programación orientada a objetos . La prensa del MIT.
- ^ Mitchell, John C. (1996). Fundamentos de los lenguajes de programación . La prensa del MIT.
- ^ Mitchell, John C. (2002). Conceptos en lenguajes de programación . Prensa de la Universidad de Cambridge.
- ^ John C. Mitchell en elservidor de bibliografía DBLP
- ^ "Informe del Rector: Nombramientos de Profesores del Consejo Académico" . Universidad Stanford. 14 de octubre de 2013.
- ^ "Stanford da un paso histórico en el aprendizaje en línea, nombra un nuevo vicerrector" . Universidad Stanford. 30 de agosto de 2012.
- ^ "La facultad de Stanford está adoptando oportunidades de enseñanza en línea" . Noticias de Stanford . Universidad Stanford. 17 de julio de 2012 . Consultado el 28 de octubre de 2014 .
- ^ "Las subvenciones semilla permiten nuevos cursos en línea para los estudiantes de Stanford" . Noticias de Stanford . Universidad Stanford. 14 de enero de 2013 . Consultado el 28 de octubre de 2014 .
- ^ "Las subvenciones iniciales de Stanford para el aprendizaje en línea destacan la colaboración internacional" . Noticias de Stanford . Universidad Stanford. 25 de junio de 2013.
- ^ "Seis becas semilla concedidas en la primavera de 2014" . Stanford en línea . Universidad Stanford. 3 de septiembre de 2014.
- ^ "Anunciado nuevo programa de subvenciones semilla para el año académico 2014-2015" . Stanford en línea . Universidad Stanford. 27 de octubre de 2014.
- ^ "OpenEdX" . Stanford en línea . Universidad Stanford. Archivado desde el original el 8 de noviembre de 2015.
- ^ "Los cursos en línea de Stanford estarán disponibles en la nueva plataforma de código abierto" . Noticias de Stanford . Universidad Stanford. 11 de Junio de 2013.
- ^ "Stanford colaborará con edX para desarrollar una plataforma de aprendizaje en línea de código abierto y gratuita" . Noticias de Stanford . Universidad Stanford. 3 de abril de 2013.
- ^ "Laboratorio de Lítica" . Laboratorio de Lítica . Universidad Stanford.
- ^ "Biografía: John Mitchell, vicerrector de aprendizaje en línea" . Vicerrectorado de Aprendizaje Online . Universidad Stanford. Archivado desde el original el 29 de octubre de 2014.
- ^ Mitchell, JC ; Plotkin, GD (1988). "Los tipos abstractos tienen tipo existencial". Transacciones ACM sobre lenguajes y sistemas de programación . 10 (3): 470. doi : 10.1145 / 44501.45065 . S2CID 1222153 .