Gerald Jay Sussman (nacido el 8 de febrero de 1947) es profesor de Ingeniería Eléctrica de la cátedra Panasonic en el Instituto Tecnológico de Massachusetts (MIT). Ha participado en la investigación de inteligencia artificial (IA) en el MIT desde 1964. Su investigación se ha centrado en comprender las estrategias de resolución de problemas utilizadas por científicos e ingenieros, con el objetivo de automatizar partes del proceso y formalizarlo para proporcionar métodos más eficaces de educación en ciencias e ingeniería. Sussman también ha trabajado en lenguajes informáticos, en arquitectura informática y en diseño de integración a muy gran escala (VLSI). [1]
Sussman asistió al Instituto Tecnológico de Massachusetts como estudiante de pregrado y recibió su SB en matemáticas en 1968. Continuó sus estudios en el MIT y obtuvo un doctorado en 1973, también en matemáticas, bajo la supervisión de Seymour Papert . Su tesis doctoral se tituló "Un modelo computacional de adquisición de habilidades" centrándose en la inteligencia artificial y el aprendizaje automático , utilizando un modelo de rendimiento computacional llamado HACKER . [2]
Según una historia común, [3] en 1966, Marvin Minsky encargó a su estudiante Gerald Jay Sussman que “pasara el verano conectando una cámara a una computadora y haciendo que la computadora describiera lo que veía”. [4] Esta historia se contaba a menudo para ilustrar que la dificultad de la visión por computadora no era evidente para los investigadores de IA en los primeros días.
Sussman es coautor (con Hal Abelson y Julie Sussman) del libro de texto introductorio de informática Structure and Interpretation of Computer Programs . Se utilizó en el MIT durante varias décadas y se ha traducido a varios idiomas. [ cita requerida ]
Las contribuciones de Sussman a la inteligencia artificial incluyen la resolución de problemas mediante la depuración de planes casi correctos, la propagación de restricciones aplicadas al análisis y síntesis de circuitos eléctricos, la explicación basada en dependencias y el retroceso basado en dependencias, y varias estructuras de lenguaje para expresar estrategias de resolución de problemas. Sussman y su ex alumno, Guy L. Steele Jr. , inventaron el lenguaje de programación Scheme en 1975.
Sussman vio que las ideas de inteligencia artificial se pueden aplicar al diseño asistido por computadora (CAD). Sussman desarrolló, con sus estudiantes de posgrado, sofisticadas herramientas de diseño asistido por computadora para la integración a muy gran escala (VLSI). Steele fabricó los primeros chips Scheme en 1978. Estas ideas y la tecnología CAD basada en IA para respaldarlas se desarrollaron aún más en los chips Scheme de 1979 y 1981. La técnica y la experiencia desarrolladas se utilizaron luego para diseñar otras computadoras de propósito especial. Sussman fue el diseñador principal del Digital Orrery , una máquina diseñada para realizar integraciones de alta precisión para experimentos de mecánica orbital . El hardware del Orrery fue diseñado y construido por unas pocas personas en unos pocos meses, utilizando herramientas de simulación y compilación basadas en IA. [5]
Utilizando el Digital Orrery, Sussman ha trabajado con Jack Wisdom para descubrir evidencia numérica de movimientos caóticos en los planetas exteriores. La máquina Digital Orrery ahora está retirada en el Instituto Smithsoniano en Washington, DC. Sussman también fue el diseñador principal del Supercomputer Toolkit, otra computadora multiprocesador optimizada para la evolución de ecuaciones diferenciales ordinarias . El Supercomputer Toolkit fue utilizado por Sussman y Wisdom para confirmar y extender los descubrimientos realizados con el Digital Orrery para incluir todo el sistema planetario. [6] [7]
Sussman ha sido pionero en el uso de descripciones computacionales para comunicar ideas metodológicas en la enseñanza de asignaturas de Circuitos Eléctricos y Señales y Sistemas. Durante la última década, Sussman y Wisdom han desarrollado una asignatura que utiliza técnicas computacionales para comunicar una comprensión más profunda de la mecánica clásica avanzada . En Computer Science: Reflections on the Field, Reflections from the Field , escribe "... los algoritmos computacionales se utilizan para expresar los métodos utilizados en el análisis de fenómenos dinámicos. Expresar los métodos en un lenguaje informático obliga a que sean inequívocos y computacionalmente efectivos. Se espera que los estudiantes lean los programas, los amplíen y escriban otros nuevos. La tarea de formular un método como un programa ejecutable por computadora y depurar ese programa es un ejercicio poderoso en el proceso de aprendizaje. Además, una vez formalizada procedimentalmente, una idea matemática se convierte en una herramienta que se puede utilizar directamente para calcular resultados". Sussman y Wisdom, junto con Meinhard Mayer, han producido un libro de texto, Estructura e interpretación de la mecánica clásica , para capturar estas nuevas ideas.
Sussman y Abelson también han sido parte del movimiento de software libre , incluyendo la publicación de MIT/GNU Scheme como software libre [8] y sirviendo en la junta directiva de la Free Software Foundation . [9]
El trabajo de Sussman se presenta en muchos videos, como: con Hal Abelson en una versión completa de 20 conferencias del curso SICP del MIT, [10] para LispNYC, [11] [12] en la Conferencia Internacional sobre Sistemas Complejos, [13] para la Universidad ArsDigita , [14] y dando la charla principal en una conferencia de Strange Loop. [15] [16]
Por sus contribuciones a la educación en ciencias de la computación , Sussman recibió el Premio al Educador Destacado Karl Karlstrom de la Asociación para Maquinaria Computacional (ACM) en 1990, y el premio Amar G. Bose a la enseñanza en 1992. [17]
Sussman y Hal Abelson son los únicos directores fundadores que aún siguen activos en la junta directiva de la Free Software Foundation (FSF). [18]
Sussman es miembro de las siguientes instituciones:
Sussman es miembro de las siguientes instituciones:
En 2023 recibió el premio de educación Taylor L. Booth de la IEEE Computer Society por su "enfoque inspirador en la enseñanza de la informática a través de la programación funcional". [19]
Gerald Sussman está casado con la programadora de computadoras Julie Sussman . [20]
En 2011, Sussman asistió a un evento en la isla privada de Jeffrey Epstein , Little Saint James , conocido como la "Conferencia Mindshift", organizada por Epstein y Al Seckel . [21]