Роберт Брюс Финдлер - Robert Bruce Findler

Роберт Брюс Финдлер, в просторечии известный как «Робби», - американский ученый-компьютерщик, в настоящее время профессор электротехники и компьютерных наук в Северо-Западный университет.[1] Он также является членом группы PLT.[2] и, как таковой, отвечает за создание и поддержание DrRacket. В дополнение к DrRacket, Финдлер внес множество компонентов в Ракетка и контролирует свою веб-библиотеку программного обеспечения под названием PLaneT. Финдлер также является ведущим членом команды ProgramByDesign проект.

Финдлер получил докторскую степень в Университет Райса под руководством Маттиас Фелляйзен.[3] Его диссертация была посвящена лингвистике программных контрактов, широко известной как дизайн по контракту. Его работа над программными контрактами обеспечивает более тщательный учет виновных, тем самым помогая программистам быстро найти неисправную часть программной системы.

Помимо DrRacket и контрактов на программное обеспечение, Финдлер занимается разработкой и реализацией инструментальных средств для инженеров по семантике. Эта рабочая среда, называемая Redex, представляет собой инструмент для определения и выполнения семантики редукции язык программирования. Он используется исследователями языков программирования в США и Европе. Совсем недавно SUN's Крепость Исследовательская группа использовала Redex для определения и изучения ключевых частей своего языка.

Финдлер был редактором семантики Пересмотренного отчета ^ 6 по Схема язык программирования. Он и его аспирант Джейкоб Мэтьюз разработали модель Redex базовой семантики, которая включена в приложение к отчету. Приложение играет ту же роль, что и Стандартный ML формальная спецификация (Milner, Tofte, Harper, MacQueen), но является исполняемой и, следовательно, может визуализировать отдельные примеры.

использованная литература

  1. ^ Список преподавателей Северо-Западного EECS, получено 23 июня 2012.
  2. ^ Группа PLT, Brown University, получено 23 июня 2012 г.
  3. ^ Роберт Брюс Финдлер на Проект "Математическая генеалогия"

внешние ссылки