Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Маттиас Фелляйзен
Фотография Фелляйзена, стоящего перед экраном проектора и жестикулирующего
Род занятийПрофессор информатики
ИзвестенОснователь PLT

Маттиас Фелляйзен - немецко-американский профессор компьютерных наук и автор. Он вырос в Германии и иммигрировал в США, когда ему был 21 год.

После службы в качестве профессора в течение 14 лет департамента компьютерных наук в Университете Райса , Felleisen в настоящее время является Доверительный профессором Хури колледжа компьютерных наук в Северо - Восточном университете в Бостоне , штат Массачусетс . Он получил докторскую степень в Университете Индианы под руководством Дэниела П. Фридмана .

Интересы Фелляйзена включают языки программирования, в том числе программные инструменты, разработку программ, рецепт проектирования, контракты на программное обеспечение и многое другое. [1] В 1990-х годах компания Felleisen запустила PLT и TeachScheme! (теперь ProgramByDesign и, в конечном итоге, породивший проект Bootstrap [2] ) с целью обучения принципам разработки программ новичков и изучения использования Scheme для создания больших систем. В рамках этих усилий, он является автором , как проектировать программы ( MIT Press , 2001) с Findler , Флэттами и Кришнамуртхами .

Для своей диссертации Фелляйзен разработал операционную семантику малых шагов для функционала более высокого порядка с императивными расширениями (состояние, управление). Часть I «Семантическая инженерия с PLT Redex» [3] ) взята из его диссертации. Его наиболее известное приложение - доказательство типовой безопасности , разработанное с его аспирантом Эндрю Райтом. [4]

Управляющие ограничители, основа ограниченных продолжений , были введены Фелляйзеном [5] в 1988 году. С тех пор они используются во многих областях, особенно при определении новых управляющих операторов ; см. обзор Кейннека [6] .

А-нормальная форма (АНФЫ), промежуточное представление о программах в функциональных составителях были введена Sabry и Felleisen в 1992 году [7] в качестве более простой альтернативы продолжения прохождения стиля (CPS).

В поддержку TeachScheme! В проекте Фелляйзен и его команда Финдлера , Флэтта и Кришнамурти разработали и реализовали язык программирования Racket . [8] Racket (в девичестве PLT Scheme). Идея заключалась в создании языка программирования, с помощью которого можно было бы быстро создавать педагогические языки для начинающих студентов - программируемый язык программирования [9]. Флатт остается ведущим архитектором проекта Racket и по сей день.

Этот язык программирования Racket сыграл ключевую роль в недавнем развитии постепенного набора текста . В 2006 году Фелляйзен и его аспирант Сэм Тобин-Хохштадт начали проект Typed Racket с целью позволить разработчикам переносить код с нетипизированного языка программирования на тот же синтаксис, обогащенный системой звуковых типов [10] [11] The Typed Racket language был первым, кто полностью реализовал и поддержал идею «постепенного набора» кодовой базы и все еще находится в стадии активной разработки.

Феллайзен выступил с основными докладами на Техническом симпозиуме 2011 года по образованию в области компьютерных наук , Международной конференции по функциональному программированию 2010 года [12], Европейской конференции по объектно-ориентированному программированию 2004 года и симпозиуме 2001 года по принципам языков программирования , а также на нескольких других конференциях и семинарах Информатика.

В 2006 году он был введен как сотрудник в Ассоциации вычислительной техники . В 2009 году он получил премию Карла В. Карлстрема за выдающийся педагог от ACM . [13] В 2010 году он получил награду SIGCSE за выдающийся вклад в образование в области компьютерных наук от ACM. В 2012 году он получил награду ACM SIGPLAN Programming Languages ​​Achievement Award за «значительный и постоянный вклад в область языков программирования» [14]. включая малошаговую операционную семантику для управления и состояния, классы примесей и модули примесей, полностью абстрактную семантику для последовательного PCF, методы веб-программирования, контракты более высокого порядка с ответом и статическая типизация для динамических языков.

Книги [ править ]

Фелляйзен является соавтором:

  • Царство ракетки (No Starch Press, 2013)
  • Семантическая инженерия с PLT Redex (MIT Press, 2010)
  • Как разрабатывать программы (MIT Press, 2001)
  • Немного Java, несколько шаблонов (MIT Press, 1998)
  • Маленький MLer (MIT Press, 1998)
  • Маленький интриган (MIT Press, 4-е изд., 1996)
  • Опытный интриган (MIT Press, 1996)

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

  1. ^ «Исследования» . Проверено 26 июня 2012 .
  2. ^ "Bootstrap World" . Проверено 31 мая 2019 .
  3. ^ «Семантика инженерии» . Проверено 16 июня 2019 .
  4. ^ Райт, Эндрю; Felleisen, Матиас (1994), "синтаксический подход к типу разумности", информации и вычислениям , 115 (1): 38-94, DOI : 10,1006 / inco.1994.1093
  5. ^ Маттиас Феллейзен (1988). «Теория и практика первоклассных подсказок». Основы языков программирования : 180–190. DOI : 10.1145 / 73560.73576 . ISBN 0-89791-252-7. S2CID  16705769 .
  6. ^ Queinnec, Кристиан (апрель 1994). «Библиотека операторов управления высокого уровня». École Polytechnique и INRIA- Rocquencourt. CiteSeerX 10.1.1.29.4790 .  Цитировать журнал требует |journal=( помощь )
  7. ^ Сабри, Амр; Фелляйзен, Матиас. «Рассуждения о программах в стиле продолжения» . Труды конференции ACM 1992 года по LISP и функциональному программированию, LFP'92 . Сан-Франциско, Калифорния, США. Sabry92 . Проверено 16 ноября 2012 .
  8. ^ Racket: People , получено 29 октября 2020 г.
  9. ^ Тобин-Хохштадт, Сэм; Финдлер, Роберт; Флатт, Мэтью; Кришнамурти, Шрирам; Барзилай, Эли; Маккарти, Джей; Тобин-Хохштадт, Сэм. «Межъязыковая миграция: от скриптов к программам» . Коммуникации ACM . Портленд, штат Орегон. Felleisen18 . Проверено 7 ноября 2020 .
  10. ^ Тобин-Хохштадт, Сэм; Фелляйзен, Матиас. «Межъязыковая миграция: от скриптов к программам» . Материалы симпозиума по системам объектно-ориентированного программирования, Сопроводительный том . Портленд, штат Орегон. Tobin-Hochstadt06 . Проверено 6 ноября 2020 .
  11. ^ Тобин-Хохштадт, Сэм; Фелляйзен, Матиас. «Разработка и реализация типизированной схемы» . Труды по основам языков программирования . Сан-Диего, Калифорния. Tobin-Hochstadt08 . Проверено 6 ноября 2020 .
  12. ^ "Домашняя страница ICFP 2010" . Проверено 18 декабря 2012 .
  13. ^ "Цитирование Премии ACM" . Архивировано из оригинала на 2012-05-04 . Проверено 26 июня 2012 .
  14. ^ "Премия за достижения в области языков программирования" . Проверено 26 июня 2012 .

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

  • Матиас из Северо-Восточного университета
  • Колледж компьютерных наук Хури Северо-Восточного университета