WikiDer > Джеральд Джей Сассман - Википедия
Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. (Февраль 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Профессор Джеральд Джей Сассман Кандидат наук. | |
---|---|
Джерри Сассман на видеозаписи лекций SICP 1986 года | |
Родившийся | |
Национальность | Соединенные Штаты |
Образование | С.Б.; Массачусетский технологический институт (1968) Кандидат наук.; Массачусетский технологический институт (1973) |
Известен | Искусственный интеллект, Структура и интерпретация компьютерных программ |
Супруг (а) | Джули Сассман |
Награды | Премия IJCAI Computers and Thought Award (1981) Член ACM (1990) |
Научная карьера | |
Поля | Наука о мышлении, электротехника, Информатика |
Учреждения | Массачусетский технологический институт |
Тезис | Вычислительная модель приобретения навыков (1973) |
Докторант | Сеймур Пейперт |
Докторанты | |
Интернет сайт | группы |
Джеральд Джей Сассман (родился 8 февраля 1947 г.) - профессор Panasonic Электротехника на Массачусетский Институт Технологий (Массачусетский технологический институт). Он получил свой С.Б. и Кандидат наук. степени в математика из Массачусетского технологического института в 1968 и 1973 годах соответственно. Он был вовлечен в искусственный интеллект (AI) исследования в Массачусетском технологическом институте с 1964 года. Его исследования были сосредоточены на понимании стратегий решения проблем, используемых учеными и инженерами, с целью автоматизации частей процесса и его формализации, чтобы обеспечить более эффективные методы научного и инженерного образования. Суссман также работал над компьютерными языками, компьютерной архитектурой и Очень крупномасштабная интеграция (СБИС) дизайн.[1]
Образование
Сассман посетил Массачусетский Институт Технологий как студент и получил С.Б. по математике в 1968 году. Он продолжил учебу в Массачусетском технологическом институте и получил степень Кандидат наук. в 1973 г., также по математике, под руководством Сеймур Пейперт. Его докторская диссертация была озаглавлена «Вычислительная модель приобретения навыков». искусственный интеллект и машинное обучение, используя модель вычислительной производительности с именем ХАКЕР.[2]
Академическая работа
Сассман - соавтор (с Хэл Абельсон и Джули Сассман) вводного учебника информатики Структура и интерпретация компьютерных программ. Он использовался в Массачусетском технологическом институте несколько десятилетий и был переведен на несколько языков.[нужна цитата]
Вклад Сассмана в искусственный интеллект включают решение проблем путем отладки почти правильных планов, распространение ограничений, применяемых к анализу и синтезу электрических цепей, объяснение на основе зависимостей и обратный поиск на основе зависимостей, а также различные языковые структуры для выражения стратегий решения проблем. Сассман и его бывший ученик, Гай Л. Стил мл., изобрел язык программирования Схема в 1975 г.[нужна цитата]
Сассман увидел, что идеи искусственного интеллекта можно применить к системы автоматизированного проектирования (CAD). Суссман вместе со своими аспирантами разработал сложные инструменты компьютерного проектирования для Очень крупномасштабная интеграция (СБИС). Стил создал первые микросхемы Scheme в 1978 году. Эти идеи и технология САПР на основе искусственного интеллекта для их поддержки получили дальнейшее развитие в микросхемах Scheme 1979 и 1981 годов. Разработанные методы и опыт были затем использованы для разработки других компьютеров специального назначения. Сассман был главным дизайнером Цифровая Оррери, машина, предназначенная для высокоточной интеграции орбитальная механика эксперименты. Orrery был разработан и построен несколькими людьми за несколько месяцев с использованием инструментов моделирования и компиляции на основе ИИ.[нужна цитата]
Используя Digital Orrery, Сассман работал с Джек Уиздом обнаружить числовые доказательства хаотических движений внешних планет. Digital Orrery сейчас на пенсии в Смитсоновский институт в Вашингтоне, округ Колумбия. Суссман также был ведущим разработчиком Supercomputer Toolkit, еще одного мультипроцессор компьютер оптимизирован для развивающихся систем обыкновенные дифференциальные уравнения. Supercomputer Toolkit использовался Sussman and Wisdom для подтверждения и расширения открытий, сделанных с помощью Digital Orrery, на всю планетную систему.[нужна цитата]
Суссман был пионером в использовании вычислительных описаний для передачи методологических идей при обучении предметам «Электрические цепи», «Сигналы и системы». За последнее десятилетие Сассман и Уиздом разработали предмет, в котором используются вычислительные методы для более глубокого понимания продвинутых классическая механика. В Информатика: размышления о поле, размышления о полеон пишет: «... вычислительные алгоритмы используются для выражения методов, используемых в анализе динамических явлений. Выражение методов на компьютерном языке заставляет их быть однозначными и вычислительно эффективными. Ожидается, что студенты будут читать программы и расширять их и писать новые. Задача формулировки метода в виде исполняемой компьютером программы и отладки этой программы является мощным упражнением в процессе обучения. Кроме того, после процедурной формализации математическая идея становится инструментом, который можно использовать непосредственно для вычислений полученные результаты." Sussman and Wisdom совместно с Мейнхардом Майером выпустили учебник, Структура и интерпретация классической механики, чтобы зафиксировать эти новые идеи.[нужна цитата]
Сассман и Абельсон также были частью движение за свободное программное обеспечение, включая выпуск Схема MIT / GNU в качестве бесплатно программное обеспечение[3] и работа в Совете директоров Фонд свободного программного обеспечения.[4]
Работа Суссмана представлена во многих видеороликах, например: с Хэлом Абельсоном в полной версии 20 лекций курса SICP Массачусетского технологического института,[5] для LispNYC,[6][7] на Международной конференции по сложным системам,[8] за Университет АрсДигита,[9] и выступление с основным докладом на конференции Strange Loop.[10][11]
Награды и организации
За его вклад в Информатика образование, Сассман получил Ассоциация вычислительной техники (ACM) Премия имени Карла Карлстрома за выдающийся педагог в 1990 году и Амар Дж. Бозе награда за обучение в 1991 году.[нужна цитата]
Сассман и Хэл Абельсон являются единственными директорами-учредителями, все еще действующими в совете директоров Фонд свободного программного обеспечения (ФСПО).[нужна цитата]
Сассман является членом Институт инженеров по электротехнике и электронике (IEEE), член Национальная инженерная академия (NAE), член Ассоциация развития искусственного интеллекта (AAAI), член Ассоциация вычислительной техники (ACM), член Американская ассоциация развития науки (AAAS), член Нью-Йоркская академия наук (NYAS), и сотрудник Американская академия искусств и наук. Он также связан слесарь, пожизненный член Американский институт часовщиков-часовщиков (AWI), член Ассоциация часовых мастеров Массачусетса (MWCA), член Бостонские любители телескопов (ATMOB) и член Американская радиорелейная лига (ARRL).[нужна цитата]
Личная жизнь
Джеральд Сассман женат на программисте Джули Сассман.[12] Она выпускница Массачусетского технологического института, а также изучала множество языков, включая французский, русский, немецкий, китайский, японский, норвежский, шведский, голландский, иврит и сербохорватский. Она написала книги по программному обеспечению и книгу о повседневных китайских иероглифах.[13]
Смотрите также
Рекомендации
- ^ Сассман, Джеральд Джей. «Биографический очерк Джеральда Джея Сассмана». Массачусетский Институт Технологий. Получено 2019-09-09.
- ^ Суссман, Джеральд (1973). Вычислительная модель приобретения навыков (Кандидат наук.). Массачусетский Институт Технологий. HDL:1721.1/6894.
- ^ "Схема MIT / GNU". Фонд свободного программного обеспечения. Получено 2019-09-11.
- ^ «Персонал и Правление». Фонд свободного программного обеспечения. Получено 2019-09-11.
- ^ Суссман, Джеральд (июль 1986). MIT OpenCourseWare: видео-лекции (видеокассета). Массачусетс: Массачусетский технологический институт.
- ^ Сассман, Джеральд (январь 2016). Гибкие системы, сила общих операций (видеокассета). LispNYC. Получено 2019-09-11.
- ^ «ЛиспНИЦ». LispNYC. Получено 2019-09-11.
- ^ Сассман, Джеральд (11 июня 2002 г.). Формализация науки (видеокассета). Институт сложных систем Новой Англии (NECSI). Получено 2019-09-11.
- ^ Суссман, Джеральд (2001). Наследие компьютерных наук (видеокассета).
- ^ Сассман, Джеральд (19 сентября 2011 г.). Мы действительно не умеем вычислять! (видеокассета). InfoQ.
- ^ "Странная петля". Странная петля. Получено 2019-09-11.
- ^ Акино, Марио (2011-09-22). "Учитель". Blogger. Получено 2019-09-09.
- ^ Суссман, Джули (1994). Я могу прочитать это: знакомство путешественника с китайскими иероглифами. Сан-Франциско: Китайские книги. ISBN 0835125335. OCLC 31829743.
внешняя ссылка
- Официальный веб-сайт
- Джеральд Сассман на Проект "Математическая генеалогия"
- Работы Джеральда Джея Сассмана или о нем в библиотеках (WorldCat каталог)
- Книги на MIT Press