Gerald Jay Sussman (nacido el 8 de febrero de 1947) es profesor de Ingeniería Eléctrica de Panasonic en el Instituto de Tecnología de Massachusetts (MIT). Recibió su SB y Ph.D. 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 educación en ciencias e ingeniería. Sussman también ha trabajado en lenguajes informáticos, en arquitectura informática y enDiseño de integración a gran escala (VLSI). [1]
Gerald Jay Sussman | |
---|---|
Nació | |
Ciudadanía | nosotros |
Educación | Instituto de Tecnología de Massachusetts ( BSc 1968, Ph.D.1973 ) |
Conocido por | Inteligencia artificial , estructura e interpretación de programas informáticos |
Esposos) | Julie Sussman |
Premios | Premio IJCAI Computers and Thought (1981) ACM Fellow (1990) |
Carrera científica | |
Campos | Ciencias cognitivas , ingeniería eléctrica , informática. |
Instituciones | Instituto de Tecnología de Massachusetts |
Tesis | Un modelo computacional de adquisición de habilidades (1973) |
Asesor de doctorado | Seymour Papert |
Estudiantes de doctorado | |
Sitio web | grupos |
Educación
Sussman asistió al Instituto de Tecnología de Massachusetts como estudiante y recibió su SB 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" y se centró en la inteligencia artificial y el aprendizaje automático , utilizando un modelo de rendimiento computacional llamado HACKER . [2]
Trabajo académico
Sussman es coautor (con Hal Abelson y Julie Sussman) del libro de texto de introducción a las ciencias de la computación Estructura e interpretación de programas de computación . 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 la dependencia y el retroceso basado en la dependencia, y varias 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 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 Integración a 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 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 compilación y simulación basadas en IA. [3]
Utilizando 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 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 ampliar los descubrimientos realizados con Digital Orrery para incluir todo el sistema planetario. [4] [5]
Sussman ha sido pionero 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 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 los obliga a ser inequívocos y computacionalmente Se espera que los estudiantes lean los programas y 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 formalizado procedimentalmente, una idea matemática se convierte en una herramienta que se puede utilizar directamente para calcular resultados ". Sussman y Wisdom, 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 formado parte del movimiento del software libre , incluido el lanzamiento del MIT / GNU Scheme como software libre [6] y han formado parte del Consejo de Administración de la Free Software Foundation . [7]
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, [8] para LispNYC, [9] [10] en la Conferencia Internacional sobre Sistemas Complejos, [11] para ArsDigita University , [12] y dando la charla principal en una conferencia de Strange Loop. [13] [14]
Premios y organizaciones
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 de Maquinaria de Computación (ACM) en 1990, y el premio Amar G. Bose por la enseñanza en 1991. [ cita requerida ]
Sussman y Hal Abelson son los únicos directores fundadores que siguen activos en la junta directiva de la Free Software Foundation (FSF). [ cita requerida ]
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 Asociación de Computación 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 Artes y Ciencias . También es cerrajero , miembro vitalicio del American Watchmakers-Clockmakers Institute (AWI), miembro de la Massachusetts Watchmakers-Clockmakers Association (MWCA), miembro de Amateur Telescope Makers of Boston (ATMOB) y miembro de la American Radio Relay League (ARRL). [ cita requerida ]
Vida personal
Gerald Sussman está casado con la programadora de computadoras Julie Sussman. [15]
Ver también
- Marvin Minsky
- Seymour Papert
- Terry Winograd
- MDL (lenguaje de programación)
- Anomalía de Sussman
Referencias
- ^ Sussman, Gerald Jay. "Bosquejo biográfico de Gerald Jay Sussman" . Instituto de Tecnología de Massachusetts . Consultado el 9 de septiembre de 2019 .
- ^ Sussman, Gerald (1973). Un modelo computacional de adquisición de habilidades (Ph.D.). Instituto de Tecnología de Massachusetts. hdl : 1721,1 / 6894 .
- ^ Applegate, James; Douglas, M .; Gursel, Y .; Hunter, P .; Seitz, C .; Sussman, Gerald Jay (septiembre de 1985). "Un Orrery Digital". Transacciones IEEE en computadoras . C-34 (9): 822–831. doi : 10.1109 / TC.1985.1676638 . S2CID 10002156 .
- ^ Applegate, James; Douglas, M .; Gursel, Y .; Sussman, Gerald Jay; Wisdom, Jack (julio de 1986). "El sistema solar exterior durante 200 millones de años". Revista astronómica . 92 : 176-194. Código bibliográfico : 1986AJ ..... 92..176A . doi : 10.1086 / 114149 . hdl : 1721,1 / 6442 .
- ^ Sussman, Gerald Jay; Wisdom, Jack (julio de 1988). "Evidencia numérica de que el movimiento de Plutón es caótico" . Ciencia . 241 (4864): 433–7. Código Bibliográfico : 1988Sci ... 241..433S . doi : 10.1126 / science.241.4864.433 . hdl : 1721,1 / 6038 . PMID 17792606 . S2CID 1398095 .
- ^ "Esquema MIT / GNU" . Fundación de Software Libre . Consultado el 11 de septiembre de 2019 .
- ^ "Personal y Junta" . Fundación de Software Libre . Consultado el 11 de septiembre de 2019 .
- ^ Sussman, Gerald (julio de 1986). MIT OpenCourseWare: Videoconferencias (cinta de video). Massachusetts: Instituto de Tecnología de Massachusetts.
- ^ Sussman, Gerald (enero de 2016). Sistemas flexibles, el poder de las operaciones genéricas (cinta de vídeo). LispNYC . Consultado el 11 de septiembre de 2019 .
- ^ "LispNYC" . LispNYC . Consultado el 11 de septiembre de 2019 .
- ^ Sussman, Gerald (11 de junio de 2002). Formalizando la ciencia (cinta de video). Instituto de Sistemas Complejos de Nueva Inglaterra (NECSI) . Consultado el 11 de septiembre de 2019 .
- ^ Sussman, Gerald (2001). El legado de la informática (cinta de vídeo).
- ^ Sussman, Gerald (19 de septiembre de 2011). ¡Realmente no sabemos cómo calcular! (filmar con una videocámara). InfoQ.
- ^ "Bucle extraño" . Bucle extraño . Consultado el 11 de septiembre de 2019 .
- ^ Aquino, Mario (22 de septiembre de 2011). "El maestro" . Blogger . Consultado el 9 de septiembre de 2019 .
enlaces externos
- Página web oficial
- Gerald Sussman en el Proyecto de genealogía matemática
- Obras de o sobre Gerald Jay Sussman en bibliotecas ( catálogo de WorldCat )
- Libros en la MIT Press