Dean Greg Morrisett sobre desafíos y oportunidades en CIS

Greg Morrisett regresó a Cornell el 1 de julio como decano de Informática y Ciencias de la Información (CIS). Se desempeñó en la facultad de informática de Cornell de 1996 a 2004 antes de convertirse en el profesor Allen B. Cutting de informática en la Universidad de Harvard, donde fue director del Centro de Investigación sobre Computación y Sociedad y decano asociado de informática e ingeniería. Ayudó a establecer la nueva Escuela de Ingeniería y Ciencias Aplicadas de Harvard. El reportero de Chronicle Bill Steele se sentó con Morrisett en su oficina de Gates Hall para discutir el futuro de CIS.

Volviendo a Cornell, ¿qué notas que ha cambiado?

Ithaca no ha cambiado tanto, pero Cornell y CIS han cambiado enormemente. CIS ahora incluye el Departamento de Ciencias Estadísticas, que no existía hace 20 años, y el campus de Cornell Tech es una oportunidad emocionante para todos, pero para CIS en particular. Otro gran cambio es que CIS ha ampliado su compromiso con tantas otras disciplinas más allá de las ciencias físicas y la ingeniería. Ahora conectamos con Johnson, las ciencias biológicas, las ciencias sociales e incluso las humanidades.

Diría que estamos ayudando a construir y definir de qué se trata la informática y la ciencia de la información del siglo XXI. La programación de computadoras es una parte pequeña pero importante de esto. Igual de importante es la gama de modelos matemáticos y computacionales, como la ciencia de redes, que llevamos a cualquier campo que tocamos. Y la interacción de la tecnología con la sociedad es un enfoque clave para CIS. La "computación" moderna implica la coordinación de personas tanto como las computadoras o las redes. Por ejemplo, ahora reclutamos humanos a través de plataformas en línea como eBird del Laboratorio de Ornitología, donde ayudan a entrenar computadoras para clasificar imágenes o sonidos de aves.

¿Cuáles son sus impresiones de Gates Hall?

Gates Hall es un gran espacio nuevo que reúne a nuestros profesores y estudiantes de informática y ciencias de la información. Es simbólico que estemos en el centro del campus, tanto geográfica como académicamente.

Una de mis características favoritas en el edificio es Gimme! Cafetería, que atrae a muchos forasteros al edificio y brinda una oportunidad para que los estudiantes, profesores y personal tengan conversaciones improvisadas. Esas conversaciones son cruciales para generar nuevas ideas y crear un fuerte sentido de comunidad.

¿Hay cosas que quizás quieras cambiar?

Debido a que las estadísticas, las ciencias de la computación y las ciencias de la información interactúan con todos los campos, estudiantes de todo el campus están tomando nuestros cursos. Como resultado, nuestras clases son enormes. Me encantaría que los estudiantes tuvieran algunas clases más pequeñas, particularmente para los niveles superiores. Pero, por supuesto, esto significa agregar más profesores.

Una de las preguntas que quiero hacer es: "¿Cuál es la mejor manera de enseñar un curso determinado, como Introducción a la programación, en un campus residencial?" Si se sienta en un salón de clases moderno, notará que los estudiantes tienen sus computadoras portátiles o teléfonos fuera y se distraen constantemente con la misma tecnología que ponemos en sus manos. Además, las soluciones para casi cualquier tarea o proyecto se pueden encontrar fácilmente en línea.

Tenemos que repensar los viejos modelos de enseñanza y adaptarnos al nuevo mundo donde la información está al alcance de la mano. Para algunos cursos, eso podría significar que "invertimos" el aula para que los estudiantes vean conferencias a través de video en sus dormitorios y lleguen a clase preparados para hacer trabajo de desarrollo práctico juntos. Pero todavía tengo que encontrar una manera de cambiar una clase orientada a proyectos, como introducción a la programación, y mucho menos una clase de nivel superior como sistemas operativos, cuando hay 300 estudiantes. Para hacer un buen trabajo se requiere el espacio de enseñanza adecuado y suficientes asistentes de enseñanza para que podamos brindarles a los estudiantes comentarios inmediatos sobre sus diseños y código. De todos modos, debemos ver esto como una oportunidad para combinar la enseñanza y la investigación para que podamos brindar a los estudiantes la mejor educación posible.

Cuéntanos sobre tu propia investigación.

Lo que más me interesa es la seguridad del software: ¿cómo creamos software que no se pueda hackear fácilmente? Hay muchas piezas diferentes que pueden ayudar, desde mejores lenguajes de programación hasta una mejor criptografía. Idealmente, la mayor parte de la seguridad debería ocurrir automáticamente, sin que los programadores tengan que preocuparse por ello. Pero hoy, es todo lo contrario: un pequeño error de codificación en un programa puede conducir a una falla catastrófica.

Un enfoque en el que estoy particularmente enfocado es la aplicación de pruebas de corrección formales y verificadas por máquina para software crítico para la seguridad. La idea es que si le doy una pieza de software y afirmo que no hace nada "malo", entonces debería tener una manera fácil de verificar mi afirmación. Una forma de lograr esto es construir una prueba matemáticamente rigurosa de que el software no hace nada "malo" cuando se ejecuta, y luego puede verificar que la prueba sea válida. Idealmente, el verificador de pruebas debería ser realmente pequeño y simple, e incluso deberíamos construir una prueba de que este verificador de pruebas es correcto.

La idea de las pruebas formales verificadas por máquina se remonta a los primeros trabajos de Bob Constable, quien fue el primer decano del CIS. Así que estoy siguiendo sus pasos en más de una forma.

¿Cuáles son tus intereses fuera del trabajo?

Me gusta caminar, que es otra razón por la que me alegro de estar de vuelta en Ithaca. Me encantan las películas antiguas. Y disfruto coleccionando estas vacas. [En los estantes de su oficina hay varias figuritas y tazas con imágenes de vacas; en un rincón de la habitación hay una enorme y blanda vaca de peluche.]

no los compro La gente me los da.

Comenzó aquí como miembro de la facultad junior y ahora se ha convertido en decano. ¿Cómo te sientes acerca de esa transición?

Una de las cosas que me gustaban de Cornell era que recibí mucho apoyo de profesores de alto nivel. Creo que mi trabajo ahora es actuar como un solucionador de problemas general para eliminar muchas de las frustraciones de los estudiantes y profesores, y quiero asegurarme de que todos tengan la oportunidad de tener éxito.

Reciba las noticias de Cornell directamente en su bandeja de entrada.