Gerald Jay Sussman

Gerald Jay Sussman (nacido el 8 de febrero de 1947) es profesor de ingeniería eléctrica de Panasonic en el Instituto Tecnológico de Massachusetts (MIT). Recibió su S.B. y doctorado grados en matemáticas del MIT en 1968 y 1973 respectivamente. Ha estado involucrado 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 efectivos. de la enseñanza de las ciencias y la ingeniería. Sussman también ha trabajado en lenguajes informáticos, en arquitectura informática y en diseño de integración a gran escala (VLSI).

Educación

Sussman asistió al Instituto de Tecnología de Massachusetts como estudiante universitario y recibió su S.B. en matemáticas en 1968. Continuó sus estudios en el MIT y obtuvo un Ph.D. 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.

Trabajo académico

Sussman es coautor (con Hal Abelson y Julie Sussman) del libro de texto de introducción a la informática Estructura e interpretación de programas informáticos. 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 la dependencia y el retroceso basado en la dependencia, y varias estructuras de lenguaje para expresar el problema. -estrategias de resolución. Sussman y su antiguo alumno, Guy L. Steele Jr., inventaron el lenguaje de programación Scheme en 1975.

Sussman vio que las ideas de la 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 usaron luego para diseñar otras computadoras de propósito especial. Sussman fue el diseñador principal de Digital Orrery, una máquina diseñada para realizar integraciones de alta precisión para experimentos de mecánica orbital. El 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.

Usando Digital Orrery, Sussman ha trabajado con Jack Wisdom para descubrir evidencia numérica de movimientos caóticos en los planetas exteriores. El Digital Orrery ahora está retirado en la Institución Smithsonian en Washington, DC. Sussman también fue el diseñador principal de Supercomputer Toolkit, otra computadora multiprocesador optimizada para la evolución de ecuaciones diferenciales ordinarias. Sussman y Wisdom utilizaron el Supercomputer Toolkit para confirmar y ampliar los descubrimientos realizados con Digital Orrery para incluir todo el sistema planetario.

Sussman ha sido pionera en el uso de descripciones computacionales para comunicar ideas metodológicas en la enseñanza de materias en Circuitos Eléctricos y en Señales y Sistemas. Durante la última década, Sussman y Wisdom han desarrollado un tema 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 usan para expresar los métodos usados 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 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 procesalmente, una idea matemática se convierte en una herramienta que se puede usar directamente para calcular resultados." Sussman y Wisdom, con Meinhard Mayer, han producido un libro de texto, Structure and Interpretation of Classical Mechanics, para capturar estas nuevas ideas.

Sussman y Abelson también han sido parte del movimiento del software libre, incluido el lanzamiento de MIT/GNU Scheme como software libre y su participación en la junta directiva de la Free Software Foundation.

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, para LispNYC, en la Conferencia Internacional sobre Sistemas Complejos, para la Universidad ArsDigita, y dando la charla magistral en una conferencia de Strange Loop.

Premios y organizaciones

Por sus contribuciones a la enseñanza de las ciencias de la computación, 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.

Sussman y Hal Abelson son los únicos directores fundadores que siguen activos en la junta directiva de la Free Software Foundation (FSF).

Sussman es miembro del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE), miembro de la Academia Nacional de Ingeniería (NAE), miembro de la Asociación para el Avance de la Inteligencia Artificial (AAAI), miembro de la Association for Computing Machinery (ACM), miembro de la Asociación Estadounidense para el Avance de la Ciencia (AAAS), miembro de la Academia de Ciencias de Nueva York (NYAS) y miembro de la Academia Estadounidense de las Artes y las Ciencias. También es cerrajero en régimen de servidumbre, miembro vitalicio del Instituto American Watchmakers-Clockmakers (AWI), miembro de la Asociación de Relojeros-Clockmakers de Massachusetts (MWCA), miembro de Amateur Telescope Makers of Boston (ATMOB) y miembro de la Liga Americana de Relevos de Radio (ARRL).

Vida privada

Gerald Sussman está casado con la programadora informática Julie Sussman.

Seleccionar bibliografía

• Chris Hanson y Gerald Jay Sussman; Diseño de software para flexibilidadMIT Prensa, 2021. ISBN 978-0-262-045490.
• Gerald Jay Sussman y Jack Wisdom, con Will Farr; Geometría diferencial funcionalMIT Press, 2013. ISBN 978-0-262-01934-7.
• Alexey Radul y Gerald Jay Sussman; "Revised Report on the Propagator Model", documentación y sistema, agosto de 2010.
• Alexey Radul y Gerald Jay Sussman; "El Arte del Propagador", MIT-CSAIL-TR-2009-002; Versión completa en Proc. 2009 Conferencia Internacional de Lisp, marzo 2009.
• Estructura e interpretación de Mecánica Clásica, segunda edición, Gerald Jay Sussman y Jack Wisdom, MIT Press, 2014. ISBN 978-0-262-02896-7.
• "Cellular Gate Technology", Thomas F. Knight y Gerald Jay Sussman, Proc. UMC98, First International Conference on Unconventional Models of Computation, Auckland, NZ, enero de 1998.
• "Sparse Representations for Fast, One-shot learning", Kenneth Yip y Gerald Jay Sussman, Proc. of National Conference on Artificial Intelligence, julio de 1997. Una versión más larga aparece como MIT AI Lab Memo #1633, mayo de 1998
• "Un Modelo Computacional para la Adquisición y Utilización del Conocimiento Fonológico", Kenneth Yip y Gerald Jay Sussman, MIT Artificial Intelligence Memo 1575, marzo de 1996.
• "Amorphous Computing", Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss, en Comunicaciones del ACM 43 5 de mayo de 2000. También como MIT Artificial Intelligence Memo 1665, agosto de 1999.
• "Comparison between subsonic flow simulation and physical measurements of flue pipes", Panayotis. A. Skordos and Gerald Jay Sussman, Proceedings of ISMA 95, International Symposium on Musical Acoustics, Le Normont, Francia, julio de 1995. También MIT Artificial Intelligence Memo 1535, abril de 1995.
• "Revolució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, G. J. Sussman, y Jack Wisdom, International Journal of High-Speed Electronics, 3, no. 3, pp. 337--361, 1992.
• "Evidencia numérica de que la moción de Plutón es caótica", Gerald Jay Sussman y Jack Wisdom, en Science, 241, 22 de julio de 1988.
• Estructura e interpretación de los 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).