stringtranslate.com

Juan C. Mitchell

John Clifford Mitchell es profesor de informática y (por cortesía) de ingeniería eléctrica 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 C. Mitchell fue vicerrector de enseñanza y aprendizaje en la Universidad de Stanford, profesor de la familia Mary y 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 Iniciativa Cibernética de la Universidad de Stanford. Mitchell ha sido vicerrector en la Universidad de Stanford desde 2012, primero como vicerrector inaugural de Aprendizaje en Línea y ahora en un papel más amplio para la Enseñanza y el Aprendizaje. Bajo la dirección de Mitchell, la Oficina del Vicerrector de Enseñanza y Aprendizaje (VPTL) está impulsando la enseñanza y el aprendizaje a través de iniciativas e investigaciones impulsadas por la facultad, transformando la educación en las aulas de Stanford y más allá. [ ¿ promoción? ]

El primer proyecto de investigación de Mitchell sobre aprendizaje en línea comenzó en 2009, cuando él y seis estudiantes universitarios crearon Stanford CourseWare, una plataforma innovadora que se amplió para admitir videos y debates interactivos. CourseWare sirvió como base para los experimentos iniciales de 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. [ ¿ promoción? ]

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 de John L. Hennessy (el décimo presidente de la Universidad de Stanford) para tecnología educativa y presidiera un comité de la facultad que estableció las prioridades iniciales para Stanford y desarrolló pautas de propiedad intelectual para cursos en línea publicados públicamente.

Para ayudar a desarrollar la experiencia de la facultad y un catálogo de material en línea, el vicerrector Mitchell lanzó un programa de subvenciones iniciales para la facultad en el verano de 2012. [9] Este programa ha ayudado a la facultad de todo el campus a transformar sus cursos en Stanford y lanzar cursos públicos al mundo, generando debates y discusiones informadas entre la facultad 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 de la versión 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 ofrece una alternativa personalizable para todas las universidades y colegios y que respalda la investigación y la innovación educativas abiertas. [15] [16]

Los cursos en línea de Stanford están generando una gran cantidad de datos de los participantes del curso. [ ¿promoción? ] En colaboración con los centros de investigación de Stanford, como el Lytics Lab, [17] que es supervisado conjuntamente por Mitchell, y Mitchell Stevens y Candace Thille de la Escuela de Graduados en Educación, 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 la investigación basada en datos y el diseño iterativo. [ ¿promoción? ]

En mayo de 2014, el equipo de Mitchell publicó un informe exhaustivo 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 Tecnológico de Massachusetts (MIT). Ha sido miembro del consejo editorial de diez revistas académicas, ha actuado como consultor y asesor de numerosas empresas [ ¿promoción? ] y ha pasado años sabáticos en el Instituto Newton de Ciencias Matemáticas 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 informática. [18]

Investigación

Junto con Gordon Plotkin observó la conexión entre los tipos existenciales y los tipos de datos abstractos . [19]

Las primeras investigaciones de Mitchell en el campo de la informática se centraron en el análisis y el diseño de programas, donde desempeñó un papel fundamental en el desarrollo de la teoría de tipos como base de los lenguajes de programación, una visión que hoy es dominante en el campo. Durante los últimos 15 años, su investigación se ha centrado en la seguridad informática, el desarrollo de métodos de análisis y la mejora de la seguridad de los protocolos de red, la autorización y el control de acceso, la seguridad web y la privacidad.

Mitchell ha estado a la vanguardia de la investigación y la 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. [ promoción? ] Sus esfuerzos han resultado en el desarrollo de conceptos utilizados en el popular lenguaje de programación Java, han mejorado la seguridad de los protocolos de redes inalámbricas ampliamente utilizados, han contribuido a la arquitectura de seguridad del navegador Chrome y otros componentes de la web moderna.

En agosto de 2012, Mitchell fue designado por el presidente de Stanford, John L. Hennessy , como vicerrector de aprendizaje en línea, un puesto recién creado responsable de supervisar las iniciativas de aprendizaje en línea de Stanford.

Referencias

  1. ^ Página de perfil del autor de John C. Mitchell en la Biblioteca Digital ACM
  2. ^ de John Clifford Mitchell en el Proyecto de Genealogía Matemática
  3. ^ Gunter, Carl A.; Mitchell, John C. (1994). Aspectos teóricos de la programación orientada a objetos . The MIT Press.
  4. ^ Mitchell, John C. (1996). Fundamentos de los lenguajes de programación . The MIT Press.
  5. ^ Mitchell, John C. (2002). Conceptos en lenguajes de programación . Cambridge University Press.
  6. ^ John C. Mitchell en el servidor de bibliografía DBLP
  7. ^ "Informe del Presidente: nombramientos de profesores del Consejo Académico". Universidad de Stanford. 14 de octubre de 2013.
  8. ^ "Stanford da un paso histórico en el aprendizaje en línea y nombra a un nuevo vicerrector". Universidad de Stanford. 30 de agosto de 2012.
  9. ^ "El profesorado de Stanford está aprovechando las oportunidades de enseñanza en línea". Stanford News . Universidad de Stanford. 17 de julio de 2012 . Consultado el 28 de octubre de 2014 .
  10. ^ "Las subvenciones iniciales permiten nuevos cursos en línea para los estudiantes de Stanford". Stanford News . Universidad de Stanford. 14 de enero de 2013 . Consultado el 28 de octubre de 2014 .
  11. ^ "Las subvenciones iniciales de Stanford para el aprendizaje en línea destacan la colaboración internacional". Stanford News . Universidad de Stanford. 25 de junio de 2013.
  12. ^ "Se otorgaron seis subvenciones iniciales en la primavera de 2014". Stanford Online . Universidad de Stanford. 3 de septiembre de 2014.
  13. ^ "Se anuncia un nuevo programa de subvenciones iniciales para el año académico 2014-2015". Stanford Online . Universidad de Stanford. 27 de octubre de 2014.
  14. ^ "OpenEdX". Stanford Online . Universidad de Stanford. Archivado desde el original el 8 de noviembre de 2015.
  15. ^ "Los cursos en línea de Stanford estarán disponibles en una nueva plataforma de código abierto". Stanford News . Universidad de Stanford. 11 de junio de 2013.
  16. ^ "Stanford colaborará con edX para desarrollar una plataforma de aprendizaje en línea gratuita y de código abierto". Stanford News . Universidad de Stanford. 3 de abril de 2013.
  17. ^ "Laboratorio lítico". Laboratorio lítico . Universidad de Stanford.
  18. ^ "Biografía: John Mitchell, vicerrector de aprendizaje en línea". Oficina del vicerrector de aprendizaje en línea . Universidad de Stanford. Archivado desde el original el 29 de octubre de 2014.
  19. ^ Mitchell, JC; Plotkin, GD (1988). "Los tipos abstractos tienen tipo existencial". ACM Transactions on Programming Languages ​​and Systems . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID  1222153.