stringtranslate.com

Robert L. Constable

Robert Lee Constable (nacido en 1942) es un informático estadounidense. Es profesor de informática y primer y ex decano de la Facultad de Computación y Ciencias de la Información de la Universidad de Cornell . [2] Es conocido por su trabajo sobre la conexión de programas informáticos y pruebas matemáticas , especialmente el sistema Nuprl . Antes de Nuprl, trabajó en el verificador y sistema formal PL/CV . [3] Alonzo Church supervisó la tesis junior de Constable mientras estudiaba en Princeton . [4] Constable recibió su doctorado en 1968 con Stephen Kleene y ha supervisado a más de 40 estudiantes. [5]

Constable ha sido director de la Escuela de Verano de Marktoberdorf . [6]

Publicaciones Seleccionadas

Desarrollo del FCIS de Cornell

En 1999, Cornell creó la Facultad de Computación y Ciencias de la Información , o FCIS, como una entidad de nivel universitario con un decano pero sin la estructura administrativa de una universidad. Los estudiantes y profesores tenían hogares en otras universidades; Los profesores tendrían nombramientos conjuntos. Por ejemplo, en 2002, los profesores de Ciencias de la Computación fueron ubicados tanto en Ingeniería como en FCIS. [7] El nuevo FCIS se convirtió en la organización coordinadora del Programa de Gráficos por Computadora y, más tarde, en un nuevo Departamento de Ciencias Estadísticas. FCIS creció hasta tener más de 50 profesores afiliados, cada uno con un nombramiento conjunto en otro departamento académico. [8] En 2020, gracias al compromiso financiero de Ann S Bowers, se convirtió en una verdadera universidad: The Cornell Bowers CIS — College of Computing and Information Science. [9]

FCIS fue la visión de Robert Constable. En su opinión, todas las partes de Cornell necesitarían ayuda para utilizar la informática en la investigación y la enseñanza en esta nueva era de la informática, y eso requería elevar la informática al nivel universitario. Propuso esta forma nueva e innovadora: una "facultad" que estructuralmente fuera una universidad —pero no una verdadera universidad— encabezada por un decano. Constable trabajó durante varios años para hacer realidad esta idea. Fue el decano fundador y cumplió dos mandatos de cinco años. En 2008, cuando dejó el cargo de presidente, el entonces rector Biddy Martin atribuyó tanto la idea como su implementación a Constable. [10]

Una segunda innovación fue un Departamento de Ciencias de la Información que trabajaría mano a mano con Ciencias de la Computación, y no en oposición a ellas (tenga en cuenta que IS está en el título FCIS). Constable dio a los miembros apropiados de Ciencias de la Computación la responsabilidad de desarrollar el nuevo departamento a lo largo de los años. Hoy, en 2024, el Departamento de IS ofrece especializaciones y menores en todas las universidades de pregrado de Cornell. Varios miembros de la facultad trabajan conjuntamente con CS e IS. [13]

Premios

Referencias

  1. ^ Robert L. Constable en el Proyecto de genealogía de matemáticas
  2. ^ Steele, Bill (11 de junio de 2008). "Robert Constable, decano fundador de informática y ciencias de la información, dimitirá en 2009". Crónica de Cornell . Universidad de Cornell.
  3. ^ Alguacil, Robert L.; Johnson, Scott D. (1979). "Un resumen de PL / CV". Actas del sexto simposio ACM SIGACT – SIGPLAN sobre principios de lenguajes de programación (POPL '79) . Asociación para Maquinaria de Computación. págs. 7–20. doi :10.1145/567752.567754.
  4. ^ Alguacil, Robert L.; Gries, David (21 de julio de 2015). "Una conversación con Robert L. Constable". ecomons.cornell.edu . Consultado el 29 de septiembre de 2019 .
  5. ^ "Robert Lee Constable". Proyecto Genealogía Matemática . Consultado el 2 de septiembre de 2015 .
  6. ^ "Robert L. Constable". Universidad de Cornell . 1997 . Consultado el 2 de septiembre de 2015 .
  7. ^ "La ciencia de la información presenta una nueva forma". cornell.edu . Archivado desde el original el 30 de octubre de 2020 . Consultado el 20 de marzo de 2024 .
  8. ^ El sitio web de FCIS se archivó en Wayback Machine en 2004. La página principal es [1]. Aquí está la página del Decano: [2]. Aquí hay páginas para Biología Computacional [3], Ciencia e Ingeniería Computacional [4], Ciencias de la Información [5] y Programas Conjuntos [6].
  9. ^ "Cornell Bowers CIS: Facultad de Computación y Ciencias de la Información". cornell.edu . Archivado desde el original el 19 de marzo de 2024 . Consultado el 20 de marzo de 2024 .
  10. ^ "Robert Constable, decano fundador de informática y ciencias de la información, dimitirá en 2009". cornell.edu . Archivado desde el original el 8 de junio de 2013 . Consultado el 20 de marzo de 2024 .
  11. ^ "Facultad". cs.cornell.edu . Archivado desde el original el 7 de diciembre de 2023 . Consultado el 20 de marzo de 2024 .
  12. ^ "Facultad". infosci.cornell.edu . Archivado desde el original el 25 de diciembre de 2023 . Consultado el 20 de marzo de 2024 .
  13. ^ Al menos cuatro profesores han tenido nombramientos conjuntos en Ciencias de la Computación y Ciencias de la Información y han desempeñado funciones de liderazgo en ambos departamentos. En 2023, aquí está la lista de facultades de Ciencias de la Computación [11] y de Ciencias de la Información. [12]
  14. ^ "Premio Herbrand por contribuciones distinguidas al razonamiento automatizado, Conferencia CADE sobre deducción automatizada". cadeinc.org . Archivado desde el original el 20 de diciembre de 2016 . Consultado el 19 de marzo de 2024 .

enlaces externos


  • v
  • t
  • mi