John Gregory Morrisett es el decano de Jack y Rilla Neafsey y vicepresidente de Cornell Tech . [1] Anteriormente fue Decano de la Facultad de Informática y Ciencias de la Información en la Universidad de Cornell. [2] Morrisett fue profesor Allen B. de Informática en la Escuela de Ingeniería y Ciencias Aplicadas de Harvard antes de ocupar su puesto en Cornell. [3]
Sus intereses de investigación actuales están en las aplicaciones de la tecnología de lenguajes de programación para construir sistemas seguros y confiables. En particular, está interesado en aplicaciones de sistemas de tipos avanzados , verificadores de modelos , compiladores de certificación, código de prueba y monitores de referencia en línea para construir sistemas eficientes y demostrablemente seguros . También está interesado en el diseño y aplicación de lenguajes de alto nivel para dominios nuevos o emergentes, como redes de sensores.