Robert Bruce Findler , conocido coloquialmente como "Robby", es un informático estadounidense, actualmente profesor de informática en la Universidad Northwestern . [1] También es miembro del grupo PLT [2] y, como tal, responsable de la creación y mantenimiento de DrRacket . Además de DrRacket , Findler ha contribuido con numerosos componentes a Racket y supervisa su biblioteca de software basada en la Web, llamada PLaneT. Findler también es un miembro líder del equipo del proyecto ProgramByDesign .
Findler recibió su doctorado en la Universidad Rice bajo la dirección de Matthias Felleisen . [3] Su disertación fue sobre la lingüística de los contratos de software, popularmente conocida como diseño por contrato . Su trabajo sobre los contratos de software proporciona una contabilidad más cuidadosa de la culpa, lo que ayuda a los programadores a localizar rápidamente la parte defectuosa de un sistema de software.
Además de DrRacket y los contratos de software, Findler se centra en el diseño e implementación de un banco de trabajo para ingenieros semánticos. Este banco de trabajo, llamado Redex, es una herramienta para especificar y ejecutar la semántica de reducción de un lenguaje de programación . Lo utilizan investigadores de lenguajes de programación en Estados Unidos y Europa. Más recientemente, el equipo de investigación Fortress de SUN utilizó Redex para especificar y explorar partes clave de su lenguaje.
Findler se desempeñó como editor de semántica del Informe revisado^6 sobre el lenguaje de programación Scheme . Él y su estudiante de doctorado Jacob Matthews desarrollaron un modelo Redex de la semántica central, que se incluye como apéndice del informe. El apéndice cumple la misma función que la especificación formal de Standard ML (Milner, Tofte, Harper, MacQueen), pero es ejecutable y, por lo tanto, puede visualizar ejemplos individuales.
En 2018, él y otros recibieron el premio SIGPLAN Programming Languages Software Award por su trabajo en Racket [4].
En 2012, él y Matthias Felleisen recibieron el premio al artículo más influyente de la ICFP por su trabajo sobre contratos [5].