Маттиас Фелляйзен - Matthias Felleisen

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

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

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

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

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

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

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

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

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

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

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

Книги

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

Рекомендации

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

внешняя ссылка