Роберт Брюс Финдлер , в просторечии известный как «Робби», — американский ученый-компьютерщик, в настоящее время профессор информатики в Северо-Западном университете . [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].