Gerald Jay Sussman

Gerald Jay Sussman (nacido el 8 de febrero de 1947) es profesor titular de Ingeniería Eléctrica 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 enseñanza de la ciencia y la ingeniería. Sussman también ha trabajado en lenguajes de programación, arquitectura de computadoras y diseño de integración a muy gran escala (VLSI). ^{[ 1 ]}

Sussman cursó sus estudios de pregrado en el Instituto Tecnológico de Massachusetts (MIT) y obtuvo su licenciatura 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" y se centró 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 le encargó a su estudiante Gerald Jay Sussman que “pasara el verano conectando una cámara a una computadora y logrando 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 (junto con Hal Abelson y Julie Sussman ) del libro de texto introductorio de informática Estructura e interpretación de programas informáticos (SICP). Este libro se utilizó en el MIT durante varias décadas y se ha traducido a varios idiomas.

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 la síntesis de circuitos eléctricos, la explicación basada en dependencias y el retroceso basado en dependencias, y diversas estructuras de lenguaje para expresar estrategias de resolución de problemas. Sussman y su antiguo alumno, Guy L. Steele Jr. , inventaron el lenguaje de programación Scheme en 1975.

Sussman comprendió que las ideas de la inteligencia artificial podían aplicarse al diseño asistido por ordenador (CAD). Junto con sus estudiantes de posgrado, desarrolló sofisticadas herramientas de diseño asistido por ordenador para la integración a muy gran escala (VLSI). Steele fabricó los primeros chips de hardware Scheme en 1978. Estas ideas y la tecnología CAD basada en IA que las respaldaba se desarrollaron aún más en los chips Scheme de 1979 y 1981. La técnica y la experiencia adquiridas se utilizaron posteriormente para diseñar otros ordenadores de propósito específico.

Sussman fue el diseñador principal del Planetario Digital , una máquina diseñada para realizar integraciones de alta precisión para experimentos de mecánica orbital . ^{[ 5 ]} El hardware del Planetario fue diseñado y construido por unas pocas personas en unos pocos meses.

Utilizando el Planetario Digital, Sussman trabajó con Jack Wisdom para descubrir evidencia numérica de movimientos caóticos en los planetas exteriores. El Planetario Digital se encuentra actualmente fuera de servicio en la Institución Smithsonian en Washington, D.C. Sussman también fue el diseñador principal del Supercomputer Toolkit, otra computadora multiprocesador optimizada para la evolución de ecuaciones diferenciales ordinarias . Sussman y Wisdom utilizaron el Supercomputer Toolkit para confirmar y extender los descubrimientos realizados con el Planetario Digital a 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 como 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 su libro Computer Science: Reflections on the Field, Reflections from the Field , escribe: «...los algoritmos computacionales se utilizan para expresar los métodos empleados en el análisis de fenómenos dinámicos. Expresar los métodos en un lenguaje informático los obliga a ser inequívocos y computacionalmente eficaces. 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 y depurarlo constituye un ejercicio poderoso en el proceso de aprendizaje. Además, una vez formalizada procedimentalmente, una idea matemática se convierte en una herramienta que puede utilizarse directamente para calcular resultados». Sussman y Wisdom, junto con Meinhard Mayer, han elaborado un libro de texto, Estructura e interpretación de la mecánica clásica (SICM), para plasmar estas nuevas ideas.

Sussman y Abelson también han formado parte del movimiento del software libre , incluyendo la publicación de MIT/GNU Scheme como software libre ^{[ 8 ]} y su participación en la junta directiva de la Free Software Foundation . ^{[ 9 ]}

En 2011, Sussman asistió a un evento en las Islas Vírgenes , conocido como la "Conferencia Mindshift", organizada por Jeffrey Epstein y Al Seckel . ^{[ 10 ] [ 11 ]} Posteriormente, Sussman confirmó que asistió a la conferencia y declaró que se enteró de las acusaciones de abuso sexual contra Epstein solo después de que se llevara a cabo la conferencia, pero se negó a comentar públicamente sobre su relación con Seckel. ^{[ 12 ]}

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, ^{[ 13 ]} para LispNYC, ^{[ 14 ] [ 15 ]} en la Conferencia Internacional sobre Sistemas Complejos, ^{[ 16 ]} para ArsDigita University , ^{[ 17 ]} y dando la charla principal en una conferencia de Strange Loop. ^{[ 18 ] [ 19 ]}

Por sus contribuciones a la enseñanza de la informática , Sussman recibió el premio Karl Karlstrom al educador destacado de la Association for Computing Machinery (ACM) en 1990 y el premio Amar G. Bose a la enseñanza en 1992. ^{[ 20 ]}

A partir de 2025, Sussman es el único director fundador que sigue activo en la junta directiva de la Free Software Foundation (FSF). ^{[ 21 ]}

Sussman es miembro de las siguientes instituciones:

• La Academia Estadounidense de Artes y Ciencias
• La Asociación Estadounidense para el Avance de la Ciencia (AAAS)
• La Asociación para el Avance de la Inteligencia Artificial (AAAI)
• La Asociación para la Maquinaria Informática (ACM)
• El Instituto de Ingenieros Eléctricos y Electrónicos (IEEE)
• La Academia de Ciencias de Nueva York (NYAS)

Sussman es miembro de las siguientes instituciones:

• La Academia Nacional de Ingeniería (NAE)
• El Instituto Americano de Relojeros (AWI),
• La Asociación de Relojeros de Massachusetts (MWCA)
• La Asociación de Fabricantes de Telescopios Aficionados de Boston (ATMOB)
• La Liga Americana de Radioaficionados (ARRL). ^{[ 20 ]}

En 2023 recibió el premio Taylor L. Booth de educación de la IEEE Computer Society por su “enfoque inspirador para la enseñanza de la informática a través de la programación funcional”. ^{[ 22 ]}

Gerald Sussman está casado con la programadora informática Julie Sussman . ^{[ 23 ]}

Sussman es cerrajero certificado y también realiza trabajos prácticos con movimientos mecánicos de precisión para relojes , además de construir telescopios de forma amateur . ^{[ 24 ]} Ha impartido conferencias públicas sobre la física y las matemáticas de los escapes de relojes . Es miembro vitalicio del Instituto Americano de Relojeros. ^{[ 24 ]}

• Chris Hanson y Gerald Jay Sussman; Diseño de software para la flexibilidad , MIT Press, 2021. ISBN 978-0-262-045490.
• Gerald Jay Sussman y Jack Wisdom, con Will Farr; Geometría diferencial funcional , MIT Press, 2013. ISBN 978-0-262-01934-7.
• Alexey Radul y Gerald Jay Sussman; "Informe revisado sobre el modelo de propagación", documentación y sistema , agosto de 2010.
• Alexey Radul y Gerald Jay Sussman; "El arte del propagador", MIT-CSAIL-TR-2009-002 ; Versión abreviada en Proc. 2009 International Lisp Conference, marzo de 2009.
• Estructura e interpretación de la mecánica clásica, segunda edición , Gerald Jay Sussman y Jack Wisdom, MIT Press, 2014. ISBN 978-0-262-02896-7.
• " Tecnología de puertas celulares ", Thomas F. Knight y Gerald Jay Sussman, Actas de la UMC98, Primera Conferencia Internacional sobre Modelos No Convencionales de Computación, Auckland, Nueva Zelanda, enero de 1998.
• " Representaciones dispersas para un aprendizaje rápido y de una sola vez ", Kenneth Yip y Gerald Jay Sussman, Actas de la Conferencia Nacional sobre Inteligencia Artificial, julio de 1997. Una versión más extensa aparece como Memorando n.° 1633 del Laboratorio de IA del MIT, mayo de 1998.
• " Un modelo computacional para la adquisición y el uso del conocimiento fonológico ", Kenneth Yip y Gerald Jay Sussman, MIT Artificial Intelligence Memo 1575, marzo de 1996.
• " Computación amorfa ", Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss, en Communications of the ACM, 43, 5, mayo de 2000. También como MIT Artificial Intelligence Memo 1665, agosto de 1999.
• « Comparación entre la simulación de flujo subsónico y las mediciones físicas de conductos de humos », Panayotis A. Skordos y Gerald Jay Sussman, Actas del ISMA 95, Simposio Internacional de Acústica Musical, Le Normont, Francia, julio de 1995. También en el MIT Artificial Intelligence Memo 1535, abril de 1995.
• " Evolución caótica del sistema solar ", Gerald Jay Sussman y Jack Wisdom, Science, 257, 3 de julio de 1992.
• " The Supercomputer Toolkit: A general framework for special-purpose computing ", con A. Berlin, J. Katzenelson, W. McAllister, G. Rozas, GJ Sussman y Jack Wisdom, International Journal of High-Speed ​​Electronics, 3, n.º 3, págs.  337–361, 1992.
• " Evidencia numérica de que el movimiento de Plutón es caótico ", Gerald Jay Sussman y Jack Wisdom, en Science, 241, 22 de julio de 1988.
• Estructura e interpretación de programas informáticos , Harold Abelson y Gerald Jay Sussman con Julie Sussman, MIT Press y McGraw-Hill, 1985, segunda edición 1996, ISBN 0-262-01153-0. (traducciones publicadas en francés, japonés, polaco, chino, coreano y alemán).

• Marvin Minsky
• Seymour Papert
• Terry Winograd
• MDL (lenguaje de programación)
• Anomalía de Sussman

• Sitio web oficial
• Gerald Jay Sussman en el Proyecto de Genealogía Matemática
• Libros de la editorial del MIT