Роберт Брюс Финдлер
-
Биография и карьера
- Роберт Брюс Финдлер — американский ученый-компьютерщик, профессор компьютерных наук в Северо-Западном университете.
- Член PLT group, отвечает за создание и поддержку DrRacket.
- Разработал множество компонентов для Racket, руководит веб-библиотекой PLaneT.
- Ведущий член команды проекта ProgramByDesign.
-
Образование и исследования
- Защитил докторскую диссертацию в Университете Райса под руководством Маттиаса Фелляйзена.
- Диссертация посвящена лингвистике контрактов на разработку программного обеспечения.
- Специализируется на разработке и внедрении рабочей среды для инженеров-семантиков Redex.
-
Вклад в программирование
- Redex используется исследователями языков программирования в США и Европе.
- Исследовательская группа SUN Fortress использовала Redex для уточнения и изучения ключевых частей своего языка.
- Редактор семантики пересмотренного отчета по языку программирования Scheme.
- Разработал модель Redex для базовой семантики, включенную в отчет.
-
Награды и признание
- В 2018 году удостоен премии SIGPLAN Programming Languages Software Award за работу над Racket.
- В 2012 году удостоен самой влиятельной бумажной премии ICFP за работу над контрактами.