Маттиас Феллайзен
Маттиас Феллайзен | |
|---|---|
 Феллейзен выступает на симпозиуме по принципам языков программирования в Мадриде, Испания, 2010 г. | |
| Рожденный | Германия |
| Гражданство | Соединенные Штаты |
| Образование | доктор философии , Университет Индианы, Блумингтон (1984–1987 годы) Диплом. Ви. Инж. , Технический университет Карлсруэ (1978–1983 гг.). Магистр наук , Аризонский университет , Тусон (1980–1981 годы) |
| Известный | Основатель PLT , операционная семантика , типобезопасность , продолжения , постепенная типизация , А-нормальная форма |
| Награды | Премия ACM Карла В. Карлстрома, член ACM |
| Научная карьера | |
| Поля | Ученый-компьютерщик |
| Учреждения | Университет Райса Северо-Восточный университет |
| Диссертация | Исчисления преобразования Lambda_v-CS: синтаксическая теория управления и состояния в императивных языках программирования высшего порядка |
Маттиас Феллизен — немецко-американский профессор информатики и писатель. Он вырос в Германии и иммигрировал в США, когда ему было двадцать с небольшим. Он получил докторскую степень в Университете Индианы в Блумингтоне под руководством Дэниела П. Фридмана .
Проработав 14 лет профессором на факультете компьютерных наук Университета Райса , Феллейзен поступил в Колледж компьютерных наук Хури Северо -Восточного университета в Бостоне, штат Массачусетс, в качестве профессора-попечителя.
Интересы Феллейзена включают языки программирования, включая программные инструменты, разработку программ, контракты на программное обеспечение и многое другое. [1] В 1990-х годах Феллейзен запустил PLT и TeachScheme! (позже ProgramByDesign и, в конечном итоге, породивший проект Bootstrap [2] ) с целью обучения новичков принципам проектирования программ и изучения использования Scheme для создания больших систем. В рамках этих усилий он написал книгу «Как разрабатывать программы» ( издательство Массачусетского технологического института , 2001) вместе с Финдлером , Флэттом и Кришнамурти .
Награды и почести [ править ]
Феллейзен выступил с программными докладами на Техническом симпозиуме по образованию в области компьютерных наук 2011 года , Международной конференции по функциональному программированию 2010 года . [3] Европейская конференция 2004 года по объектно-ориентированному программированию и Симпозиум 2001 года по принципам языков программирования , а также несколько других конференций и семинаров по информатике.
В 2006 году он был назначен членом Ассоциации вычислительной техники (ACM). В 2009 году он получил Премию Карла В. Карлстрома за выдающийся педагог от ACM. [4] В 2010 году он получил награду SIGCSE за выдающийся вклад в образование в области компьютерных наук от ACM. В 2012 году он получил награду ACM SIGPLAN Programming Languages Achievement Award за «значительный и продолжительный вклад в область языков программирования». [5] включая операционную семантику небольших шагов для управления и состояния, классы миксинов и модули миксинов, полностью абстрактную семантику для Sequential PCF, методы веб-программирования, контракты более высокого порядка с обвинением и статическую типизацию для динамических языков. В 2018 году Феллейзен получил награду ACM SIGPLAN в области программного обеспечения для языков программирования (вместе с остальной частью основной команды Racket). [6]
Книги [ править ]
Феллизен является соавтором:
- Царство рэкета ISBN 9781593274917 (Пресс без крахмала, 2013 г.)
- Семантическая инженерия с PLT Redex ISBN 978-0-262-06275-6 (издательство Массачусетского технологического института, 2009 г.)
- Как разрабатывать программы (MIT Press, 2001, 2-е издание, 2018 г.)
- Немного Java, несколько паттернов ISBN 0-262-56115-8 (издательство Массачусетского технологического института, 1998 г.)
- Маленький МЛер ISBN 0-262-56114-X (издательство Массачусетского технологического института, 1998 г.)
- Маленький интриган ISBN 0-262-56099-2 (издательство Массачусетского технологического института, 4-е изд., 1996 г.)
- Опытный интриган ISBN 0-262-56100-X (издательство Массачусетского технологического института, 1996)
- Маленький Лиспер ISBN 0-262-56038-0 (издательство Массачусетского технологического института, 1987)
Ссылки [ править ]
- ^ "Исследовать" . Проверено 26 июня 2012 г.
- ^ «Мир бутстрапа» . Проверено 31 мая 2019 г.
- ^ «Домашняя страница ICFP 2010» . Проверено 18 декабря 2012 г.
- ^ «Цитирование премии ACM» . Архивировано из оригинала 4 мая 2012 г. Проверено 26 июня 2012 г.
- ^ «Награда за достижения в области языков программирования» . Проверено 26 июня 2012 г.
- ^ «Награда за программное обеспечение в области языков программирования» . www.sigplan.org . Проверено 12 февраля 2024 г.
Внешние ссылки [ править ]
- Живые люди
- Члены Ассоциации вычислительной техники 2006 г.
- Американские писатели-преподаватели
- Исследователи языков программирования
- Лисп (язык программирования) люди
- Факультет Северо-Восточного университета
- Преподаватели Университета Райса
- Выпускники Университета Индианы в Блумингтоне
- Преподаватели информатики