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