Маттиас Фелляйзен | |
---|---|
Фелляйзен выступает на симпозиуме по принципам языков программирования в Мадриде, Испания, 2010 г. | |
Родился | Германия |
Гражданство | Соединенные Штаты |
Образование | Кандидат наук., Университет Индианы (1984–1987 годы), диплом. Wi. Инженер Технического университета Карлсруэ (1978–1983 гг.), Магистр наук, Университет Аризоны, Тусон (1980–1981 гг.) |
Известен | Основатель PLT, операционная семантика, безопасность типов, продолжения, постепенная типизация, A-нормальная форма |
Награды | награда ACM Karl V. Karlstrom, научный сотрудник ACM |
Научная карьера | |
Поля | Специалист в области информатики |
Учреждения | Университет Райса Северо-Восточный университет |
Тезис | Вычисления преобразования Lambda_v-CS: синтаксическая теория управления и состояния в императивных языках программирования высшего порядка |
Маттиас Фелляйзен - немецко-американский профессор компьютерных наук и автор. Он вырос в Германии и иммигрировал в США, когда ему был 21 год. Он получил докторскую степень в Университете Индианы под руководством Дэниела П. Фридмана.
После службы в качестве профессора в течение 14 лет департамента компьютерных наук в Университете Райса, Felleisen переехал в Хури колледж компьютерных наук в Северо - Восточном университете в Бостоне, штат Массачусетс. Там он в настоящее время работает попечителем профессора.
Интересы Фелляйзена включают языки программирования, в том числе программные инструменты, разработку программ, рецепт проектирования, контракты на программное обеспечение и многое другое. В 1990-х годах Felleisen запустила PLT и TeachScheme! (позже ProgramByDesign и, в конечном итоге, породивший проект Bootstrap) с целью обучения новичков принципам разработки программ и изучения использования Scheme для создания больших систем. В рамках этих усилий, он является автором, как проектировать программы ( MIT Press, 2001) с Findler, Флэттами и Кришнамуртхами.
Для своей диссертации Фелляйзен разработал новую форму операционной семантики для функциональных языков высшего порядка с императивными расширениями (состояние, управление). Часть I «Семантическая инженерия с PLT Redex») взята из его диссертации. Его наиболее известное приложение - доказательство типовой безопасности, разработанное с его аспирантом Эндрю Райтом.
Управляющие ограничители, основа ограниченных продолжений, были введены Фелляйзеном в 1988 году. С тех пор они используются во многих областях, особенно при определении новых управляющих операторов ; см. Queinnec для обзора.
А-нормальная форма (ANF), промежуточное представление о программах в функциональных составителями были введены Сабри и Felleisen в 1992 году в качестве более простой альтернативы продолжения обходя стиля (CPS). Реализация в компиляторе CAML продемонстрировала полезность его практической полезности и популяризировала идею.
Вместе с Финдлером Фелляйзен развил понятие контрактов высшего порядка. С помощью таких контрактов программисты могут выражать утверждения о поведении первоклассных функций, объектов, классов и модулей. Работа Фелляйзена над постепенным набором текста была прямым продолжением его работы над этими контрактами; см. ниже.
В поддержку TeachScheme! В проекте Феллейзен и его команда Финдлера, Флэтта и Кришнамурти разработали и реализовали язык программирования Racket., Racket (в девичестве PLT Scheme). Идея заключалась в том, чтобы создать язык программирования, с помощью которого можно было бы быстро создавать педагогические языки для начинающих студентов - программируемый язык программирования Flatt остается ведущим архитектором проекта Racket и по сей день.
Этот язык программирования Racket сыграл ключевую роль в недавнем развитии постепенного набора текста. В 2006 году Фелляйзен и его аспирант Сэм Тобин-Хохштадт начали проект Typed Racket с целью позволить разработчикам переносить код с нетипизированного языка программирования на тот же синтаксис, обогащенный системой звуковых типов. Язык Typed Racket был первым, кто полностью реализовывать и поддерживать идею «постепенно набирать» кодовую базу и продолжает активно развиваться.
Фелляйзен выступил с основными докладами на Техническом симпозиуме 2011 года по образованию в области компьютерных наук, Международной конференции по функциональному программированию 2010 года, Европейской конференции по объектно-ориентированному программированию 2004 года и Симпозиуме 2001 года по принципам языков программирования, а также на нескольких других конференциях и семинарах по информатике.
В 2006 году он был введен как сотрудник в Ассоциации вычислительной техники. В 2009 году он получил премию Карла В. Карлстрема за выдающийся педагог от ACM. В 2010 году он получил награду SIGCSE за выдающийся вклад в образование в области компьютерных наук от ACM. В 2012 году он получил награду ACM SIGPLAN Programming Languages Achievement Award за «значительный и длительный вклад в область языков программирования», включая операционную семантику малых шагов для управления и состояния, классы миксинов и модули миксинов, полностью абстрактную семантику для Sequential PCF, методы веб-программирования, контракты высшего порядка с обвинением и статическая типизация для динамических языков.
Фелляйзен является соавтором: