Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Профессор

Джеральд Джей Сассман

Кандидат наук.
Фотография головы мужчины в очках и темно-бордовой феске
Джерри Сассман на видеозаписи лекций SICP 1986 года
Родившийся( 1947-02-08 )8 февраля 1947 г. (74 года)
Соединенные Штаты
НациональностьСоединенные Штаты
ОбразованиеSB ; Массачусетский технологический институт (1968),
доктор философии. ; Массачусетский технологический институт (1973)
ИзвестенИскусственный интеллект , структура и интерпретация компьютерных программ
Супруг (а)Джули Сассман
НаградыПремия IJCAI Computers and Thought Award (1981),
член ACM (1990)
Научная карьера
ПоляКогнитивные науки , электротехника , информатика
УчрежденияМассачусетский технологический институт
ТезисВычислительная модель приобретения навыков  (1973)
ДокторантСеймур Паперт
Докторанты
Интернет сайтгруппы .csail .mit .edu / mac / users / gjs

Джеральд Джей Сассман (родился 8 февраля 1947 года) - профессор электротехники компании Panasonic в Массачусетском технологическом институте (MIT). Он получил SB и Ph.D. степени по математике Массачусетского технологического института в 1968 и 1973 годах соответственно. Он участвует в исследованиях в области искусственного интеллекта (ИИ) в Массачусетском технологическом институте с 1964 года. Его исследования были сосредоточены на понимании стратегий решения проблем, используемых учеными и инженерами, с целью автоматизации частей процесса и формализации его для обеспечения более эффективных методов. науки и инженерного образования. Суссман также работал с компьютерными языками, компьютерной архитектурой иДизайн очень крупномасштабной интеграции (СБИС). [1]

Образование [ править ]

Сассмен принял участие в Массачусетском технологическом институте как студент и получил SB по математике в 1968 год продолжил обучение в Массачусетском технологическом институте и получил степень доктора философии в 1973 г., также по математике, под руководством Сеймура Паперта . Его докторская диссертация была названа «Вычислительная модель приобретения навыков», в которой основное внимание уделялось искусственному интеллекту и машинному обучению с использованием модели вычислительной производительности под названием HACKER . [2]

Учебная работа [ править ]

Сассман является соавтором (вместе с Хэлом Абельсоном и Джули Сассман ) вводного учебника по информатике « Структура и интерпретация компьютерных программ» . Он использовался в Массачусетском технологическом институте несколько десятилетий и был переведен на несколько языков. [ необходима цитата ]

Вклад Суссмана в искусственный интеллект включает решение проблем путем отладки почти правильных планов, распространение ограничений, применяемых к анализу и синтезу электрических цепей, объяснение на основе зависимостей и отслеживание с возвратом на основе зависимостей, а также различные языковые структуры для выражения стратегий решения проблем. Суссман и его бывший ученик Гай Л. Стил-младший изобрели язык программирования Scheme в 1975 году.

Сассман увидел, что идеи искусственного интеллекта можно применить в автоматизированном проектировании (САПР). Суссман вместе со своими аспирантами разработал сложные инструменты автоматизированного проектирования для очень крупномасштабной интеграции (СБИС). Стил создал первые микросхемы Scheme в 1978 году. Эти идеи и технология САПР на основе искусственного интеллекта для их поддержки получили дальнейшее развитие в микросхемах Scheme 1979 и 1981 годов. Разработанные методы и опыт были затем использованы для разработки других компьютеров специального назначения. Суссман был главным разработчиком Digital Orrery , машины, предназначенной для высокоточной интеграции орбитальной механики.эксперименты. Orrery был разработан и построен несколькими людьми за несколько месяцев с использованием инструментов моделирования и компиляции на основе ИИ. [3]

Используя Digital Orrery, Сассман работал с Джеком Уиздомом, чтобы обнаружить числовые доказательства хаотических движений внешних планет. Digital Orrery сейчас находится на пенсии в Смитсоновском институте в Вашингтоне, округ Колумбия. Суссман также был ведущим разработчиком Supercomputer Toolkit, еще одного многопроцессорного компьютера, оптимизированного для развития обыкновенных дифференциальных уравнений . Supercomputer Toolkit использовался Sussman and Wisdom для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, на всю планетную систему. [4] [5]

Суссман был пионером в использовании вычислительных описаний для передачи методологических идей при обучении предметам «Электрические цепи», «Сигналы и системы». За последнее десятилетие Сассман и Уиздом разработали предмет, который использует вычислительные методы для более глубокого понимания продвинутой классической механики . В области информатики: размышления о поле, размышления о полеон пишет: «... вычислительные алгоритмы используются для выражения методов, используемых в анализе динамических явлений. Выражение методов на компьютерном языке заставляет их быть однозначными и вычислительно эффективными. Ожидается, что студенты будут читать программы и расширять их и писать новые. Задача формулировки метода в виде исполняемой компьютером программы и отладки этой программы является мощным упражнением в процессе обучения. Кроме того, после процедурной формализации математическая идея становится инструментом, который можно использовать непосредственно для вычислений полученные результаты." Sussman and Wisdom вместе с Мейнхардом Майером подготовили учебник « Структура и интерпретация классической механики» , чтобы отразить эти новые идеи.

Суссман и Абельсон также были частью движения за свободное программное обеспечение , включая выпуск MIT / GNU Scheme как бесплатного программного обеспечения [6] и работу в Совете директоров Free Software Foundation . [7]

Работа Суссмана представлена ​​во многих видеороликах, например: с Хэлом Абельсоном в полной версии из 20 лекций курса SICP Массачусетского технологического института, [8] для LispNYC, [9] [10] на Международной конференции по сложным системам, [11] для ArsDigita University , [12] и выступил с основным докладом на конференции Strange Loop. [13] [14]

Награды и организации [ править ]

За вклад в компьютерные науки образования, Сассмен получил Ассоциации вычислительной техники (ACM) Карл Karlström выдающегося просветителя премии в 1990 году, и Амар Г. Бозе награду за обучение в 1991 году [ править ]

Суссман и Хэл Абельсон - единственные директора-основатели, все еще действующие в совете директоров Free Software Foundation (FSF). [ необходима цитата ]

Сассман - научный сотрудник Института инженеров по электротехнике и радиоэлектронике (IEEE), член Национальной инженерной академии (NAE), член Ассоциации развития искусственного интеллекта (AAAI), член Ассоциации вычислительной техники. Machinery (ACM), член Американской ассоциации содействия развитию науки (AAAS), член Нью-Йоркской академии наук (NYAS) и член Американской академии искусств и наук . Он также является слесарем по замкам , пожизненным членом Американского института часовщиков-часовщиков (AWI), членомМассачусетская ассоциация часовщиков и часовщиков (MWCA), член Бостонской любительской ассоциации производителей телескопов (ATMOB) и член Американской лиги радиорелейных устройств (ARRL). [ необходима цитата ]

Личная жизнь [ править ]

Джеральд Сассман женат на программисте Джули Сассман. [15] Она выпускница Массачусетского технологического института, а также изучала множество языков, включая французский, русский, немецкий, китайский, японский, норвежский, шведский, голландский, иврит и сербохорватский. Она написала книги по программному обеспечению и книгу о повседневных китайских иероглифах. [16]

См. Также [ править ]

  • Марвин Мински
  • Сеймур Паперт
  • Терри Виноград
  • MDL (язык программирования)
  • Аномалия Сассмана

Ссылки [ править ]

  1. ^ Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана» . Массачусетский технологический институт . Проверено 9 сентября 2019 .
  2. ^ Сассман, Джеральд (1973). Вычислительная модель приобретения навыков (доктор философии). Массачусетский Институт Технологий. ЛВП : 1721,1 / 6894 .
  3. ^ Эпплгейт, Джеймс; Дуглас, М .; Gursel, Y .; Хантер, П .; Зейтц, С .; Сассман, Джеральд Джей (сентябрь 1985). «Цифровой магазинчик». Транзакции IEEE на компьютерах . С-34 (9): 822–831.
  4. ^ Эпплгейт, Джеймс; Дуглас, М .; Gursel, Y .; Сассман, Джеральд Джей; Мудрость, Джек (июль 1986 г.). «Внешняя Солнечная система на 200 миллионов лет». Астрономический журнал . 92 : 176–194.
  5. ^ Сассман, Джеральд Джей; Мудрость, Джек (июль 1988 г.). «Численное свидетельство того, что движение Плутона хаотично» . Наука . 241 .
  6. ^ "Схема MIT / GNU" . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 .
  7. ^ «Персонал и совет» . Фонд свободного программного обеспечения . Проверено 11 сентября 2019 .
  8. ^ Сассман, Джеральд (июль 1986). MIT OpenCourseWare: Видео лекции (видеокассета). Массачусетс: Массачусетский технологический институт.
  9. ^ Сассман, Джеральд (январь 2016). Гибкие системы, сила общих операций (видеокассета). LispNYC . Проверено 11 сентября 2019 .
  10. ^ "LispNYC" . LispNYC . Проверено 11 сентября 2019 .
  11. ^ Сассмен, Джеральд (11 июня 2002). Формализация науки (видеокассета). Институт сложных систем Новой Англии (NECSI) . Проверено 11 сентября 2019 .
  12. ^ Сассман, Джеральд (2001). Наследие компьютерных наук (видеокассета).
  13. ^ Сассман, Джеральд (19 сентября 2011 г.). Мы действительно не умеем вычислять! (видеокассета). InfoQ.
  14. ^ "Странная петля" . Странная петля . Проверено 11 сентября 2019 .
  15. ^ Акино, Марио (2011-09-22). «Учитель» . Блогер . Проверено 9 сентября 2019 .
  16. ^ Сассман, Джули (1994). Я могу прочитать это: знакомство путешественника с китайскими иероглифами . Сан-Франциско: Китайские книги. ISBN 0835125335. OCLC  31829743 .

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Джеральд Сассман на проекте « Математическая генеалогия»
  • Работы Джеральда Джея Сассмана или о нем в библиотеках ( каталог WorldCat )
  • Книги в MIT Press