Сассман, Джеральд Джей
Джеральд Джей Сассман (род. 8 февраля 1947, США) — американский учёный в области информатики, профессор электротехники в Массачусетском технологическом институте (MIT). Известен исследованиями в области искусственного интеллекта, разработкой языка программирования Scheme и соавторством учебника «Структура и интерпретация компьютерных программ» (SICP).
Общие сведения
| Джеральд Джей Сассман | |
|---|---|
| англ. Gerald Jay Sussman | |
| Дата рождения | 8 февраля 1947 (79 лет) |
| Место рождения | США |
| Страна | |
| Образование | |
| Род деятельности | когнитивистика, электротехника, информатика |
| Супруга | Джули Сассман |
| Награды и премии |
Премия IJCAI за выдающиеся достижения в области исследований искусственного интеллекта (1981) |
| Сайт | groups.csail.mit.edu/mac/users/gjs |
Биография
Сассман учился в Массачусетском технологическом институте и получил степень бакалавра наук по математике в 1968 году. Он продолжил обучение в MIT и в 1973 году получил степень доктора философии по математике под руководством Сеймура Пейперта. Его докторская диссертация называлась «Вычислительная модель приобретения навыков» и была посвящена искусственному интеллекту и машинному обучению с использованием вычислительной модели производительности HACKER.
В 1966 году Марвин Минский поручил своему студенту Джеральду Джею Сассману «провести лето, подключая камеру к компьютеру и заставляя компьютер описывать то, что он видит». Эта история часто рассказывалась для иллюстрации того, что сложность компьютерного зрения не была очевидна исследователям ИИ в первые дни[1].
Сассман участвует в исследованиях искусственного интеллекта в MIT с 1964 года. Его исследования сосредоточены на понимании стратегий решения проблем, используемых учёными и инженерами, с целью автоматизации частей процесса и его формализации для предоставления более эффективных методов обучения науке и инженерии. Сассман также работал в области компьютерных языков, компьютерной архитектуры и проектирования сверхбольших интегральных схем (СБИС)[2].
Академическая работа
Сассман является соавтором (вместе с Халом Абельсоном и Джули Сассман) вводного учебника по информатике «Структура и интерпретация компьютерных программ» (SICP). Он использовался в MIT на протяжении нескольких десятилетий и был переведён на несколько языков.
Вклад Сассмана в искусственный интеллект включает решение проблем путём отладки почти правильных планов, распространение ограничений, применяемых к анализу и синтезу электрических цепей, объяснение на основе зависимостей и возврат на основе зависимостей, а также различные языковые структуры для выражения стратегий решения проблем. Сассман и его бывший студент Гай Л. Стил-младший изобрели язык программирования Scheme в 1975 году.
Сассман увидел, что идеи искусственного интеллекта могут быть применены к системам автоматизированного проектирования (САПР). Сассман разработал со своими аспирантами сложные инструменты автоматизированного проектирования для сверхбольших интегральных схем (СБИС). Стил создал первые аппаратные чипы Scheme в 1978 году. Эти идеи и технология САПР на основе ИИ для их поддержки были дополнительно развиты в чипах Scheme 1979 и 1981 годов. Разработанные методы и опыт затем использовались для проектирования других специализированных компьютеров.
Сассман был главным конструктором Digital Orrery, машины, предназначенной для выполнения высокоточных интеграций для экспериментов по орбитальной механике[3]. Аппаратное обеспечение Orrery было спроектировано и построено несколькими людьми за несколько месяцев.
Используя Digital Orrery, Сассман работал с Джеком Уиздомом над обнаружением численных доказательств хаотических движений во внешних планетах. Машина Digital Orrery сейчас находится в Смитсоновском институте в Вашингтоне. Сассман также был ведущим конструктором Supercomputer Toolkit, ещё одного многопроцессорного компьютера, оптимизированного для эволюции обыкновенных дифференциальных уравнений. Supercomputer Toolkit использовался Сассманом и Уиздомом для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, на всю планетную систему[4].
Сассман стал пионером в использовании вычислительных описаний для передачи методологических идей при преподавании предметов по электрическим цепям, сигналам и системам. За последнее десятилетие Сассман и Уиздом разработали предмет, который использует вычислительные методы для передачи более глубокого понимания продвинутой классической механики. В книге «Информатика: размышления о поле, размышления из поля» он пишет: «... вычислительные алгоритмы используются для выражения методов, применяемых при анализе динамических явлений. Выражение методов на компьютерном языке заставляет их быть однозначными и вычислительно эффективными. Ожидается, что студенты будут читать программы, расширять их и писать новые. Задача формулирования метода в виде исполняемой компьютером программы и отладки этой программы является мощным упражнением в процессе обучения. Кроме того, будучи формализованной процедурно, математическая идея становится инструментом, который можно использовать непосредственно для вычисления результатов». Сассман и Уиздом вместе с Майнхардом Майером выпустили учебник «Структура и интерпретация классической механики» (SICM), чтобы запечатлеть эти новые идеи.
Сассман и Абельсон также были частью движения за свободное программное обеспечение, включая выпуск MIT/GNU Scheme как свободного программного обеспечения[5] и работу в совете директоров Фонда свободного программного обеспечения[6].
В 2011 году Сассман посетил мероприятие на Виргинских островах, известное как «Конференция Mindshift», организованное Джеффри Эпштейном и Элом Секелом[7][8]. Позже Сассман подтвердил, что присутствовал на конференции, и заявил, что узнал об обвинениях в сексуальном насилии против Эпштейна только после того, как конференция состоялась, но отказался публично комментировать свои отношения с Секелом.
Работа Сассмана представлена во многих видеороликах, таких как: с Халом Абельсоном в полной версии из 20 лекций курса SICP в MIT, для LispNYC[9][10], на Международной конференции по сложным системам[11], для ArsDigita University[12] и выступление с основным докладом на конференции Strange Loop[13].
Личная жизнь
Джеральд Сассман женат на программистке Джули Сассман[14].
Сассман является лицензированным слесарем, а также занимается практической работой с прецизионными механизмами механических часов и созданием любительских телескопов Он читал публичные лекции по физике и математике часовых спусков. Он является пожизненным членом Американского института часовщиков.
Награды и организации
За свой вклад в образование в области информатики Сассман получил премию Карла Карлстрома как выдающийся педагог от Ассоциации вычислительной техники (ACM) в 1990 году и премию Амара Г. Боуза за преподавание в 1992 году[15].
По состоянию на 2025 год Сассман является единственным директором-основателем, который всё ещё активно работает в совете директоров Фонда свободного программного обеспечения (FSF)[16].
Сассман является действительным членом следующих учреждений:
- Американская академия искусств и наук
- Американская ассоциация содействия развитию науки (AAAS)
- Ассоциация по развитию искусственного интеллекта (AAAI)
- Ассоциация вычислительной техники (ACM)
- Институт инженеров электротехники и электроники (IEEE)
- Нью-Йоркская академия наук (NYAS)
Сассман является членом следующих учреждений:
- Национальная инженерная академия (NAE)
- Американский институт часовщиков (AWI)
- Массачусетская ассоциация часовщиков (MWCA)
- Астрономы-любители Бостона (ATMOB)
- Американская лига радиолюбителей (ARRL)[15]
В 2023 году он получил премию Тейлора Л. Бута в области образования от Компьютерного общества IEEE за свой «вдохновляющий подход к преподаванию информатики через функциональное программирование»[17].
Примечания
Литература
- Chris Hanson and Gerald Jay Sussman; Software Design for Flexibility, MIT Press, 2021. ISBN 978-0-262-045490.
- Gerald Jay Sussman and Jack Wisdom, with Will Farr; Functional Differential Geometry, MIT Press, 2013. ISBN 978-0-262-01934-7.
- Alexey Radul and Gerald Jay Sussman; "Revised Report on the Propagator Model", documentation and system, August 2010.
- Alexey Radul and Gerald Jay Sussman; "The Art of the Propagator," MIT-CSAIL-TR-2009-002; Abridged version in Proc. 2009 International Lisp Conference, March 2009.
- Structure and Interpretation of Classical Mechanics, second edition, Gerald Jay Sussman and Jack Wisdom, MIT Press, 2014. ISBN 978-0-262-02896-7.
- "Cellular Gate Technology", Thomas F. Knight and Gerald Jay Sussman, Proc. UMC98, First International Conference on Unconventional Models of Computation, Auckland, NZ, January 1998.
- "Sparse Representations for Fast, One-shot learning", Kenneth Yip and Gerald Jay Sussman, Proc. of National Conference on Artificial Intelligence, July 1997. A longer version appears as MIT AI Lab Memo #1633, May 1998
- "A Computational Model for the Acquisition and Use of Phonological Knowledge", Kenneth Yip and Gerald Jay Sussman, MIT Artificial Intelligence Memo 1575, March 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, in Communications of the ACM, 43, 5, May 2000. Also as MIT Artificial Intelligence Memo 1665, August 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, France, July 1995. Also MIT Artificial Intelligence Memo 1535, April 1995.
- "Chaotic Evolution of the Solar System", Gerald Jay Sussman and Jack Wisdom, Science, 257, July 3, 1992.
- "The Supercomputer Toolkit: A general framework for special-purpose computing", with A. Berlin, J. Katzenelson, W. McAllister, G. Rozas, G. J. Sussman, and Jack Wisdom, International Journal of High-Speed Electronics, 3, no. 3, pp. 337–361, 1992.
- "Numerical evidence that the motion of Pluto is chaotic", Gerald Jay Sussman and Jack Wisdom, in Science, 241, July 22, 1988.
- Structure and Interpretation of Computer Programs, Harold Abelson and Gerald Jay Sussman with Julie Sussman, MIT Press and McGraw-Hill, 1985, second edition 1996, ISBN 0-262-01153-0. (published translations in French, Japanese, Polish, Chinese, Korean, and German).
Ссылки
- groups.csail.mit.edu/mac/users/gjs — официальный сайт Джеральд Джей Сассман
- 20655 Сассман, Джеральд Джей (англ.) в проекте «Математическая генеалогия»