Роберт Брюс Финдлер
 |
Роберт Брюс Финдлер , в просторечии известный как «Робби», — американский ученый-компьютерщик, в настоящее время профессор информатики в Северо-Западном университете . [1] Он также является членом группы PLT. [2] и, как таковой, отвечает за создание и поддержку DrRacket . Помимо DrRacket , Findler предоставила множество компонентов для Racket и контролирует его веб-библиотеку программного обеспечения под названием PLaneT. Финдлер также является ведущим членом команды проекта ProgramByDesign .
Финдлер получил докторскую степень в Университете Райса под руководством Маттиаса Феллейзена . [3] Его диссертация была посвящена лингвистике контрактов на программное обеспечение, широко известных как проектирование по контракту . Его работа над контрактами на программное обеспечение обеспечивает более тщательный учет вины, тем самым помогая программистам быстро выявить неисправную часть программной системы.
Помимо DrRacket и контрактов на программное обеспечение, Findler занимается разработкой и внедрением инструментальных средств для инженеров-семантиков. Эта рабочая среда, называемая Redex, представляет собой инструмент для определения и выполнения семантики сокращения языка программирования . Он используется исследователями языков программирования в США и Европе. Совсем недавно исследовательская группа SUN Fortress использовала Redex для определения и изучения ключевых частей своего языка.
Финдлер работал семантическим редактором пересмотренного^6 отчета о языке программирования Scheme . Он и его аспирант Джейкоб Мэтьюз разработали модель базовой семантики Redex, которая включена в приложение к отчету. Приложение играет ту же роль, что и Standard ML формальная спецификация (Милнер, Тофте, Харпер, МакКуин), но является исполняемым и, следовательно, может визуализировать отдельные примеры.
Награды [ править ]
В 2018 году он и другие были награждены премией SIGPLAN Programming Languages Software Award за работу над Racket. [4]
В 2012 году он и Матиас Феллайзен были удостоены награды «Самый влиятельный документ ICFP» за свою работу над контрактами. [5]
Ссылки [ править ]
- ↑ Список преподавателей Северо-Западного CS , получено 16 октября 2021 г.
- ^ Группа PLT , Университет Брауна, получено 23 июня 2012 г.
- ^ Роберт Брюс Финдлер в проекте «Математическая генеалогия»
- ^ Премия за программное обеспечение для языков программирования , получено 16 октября 2021 г.
- ^ Самая влиятельная бумажная награда ICFP , получено 16 октября 2021 г.
Внешние ссылки [ править ]
- Домашняя страница Северо-Западного университета
- Профиль ученого Google
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
