Robert Bruce Findler , conocido coloquialmente como "Robby", es un informático estadounidense, actualmente profesor de ingeniería eléctrica y ciencias de la computación 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 Rice University bajo la dirección de Matthias Felleisen . [3] Su disertación fue sobre la lingüística de los contratos de software, conocida popularmente como diseño por contrato . Su trabajo en 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 contratos de software, Findler se enfoca 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 . Es utilizado por investigadores de lenguajes de programación en EE. UU. Y Europa. Más recientemente, el equipo de investigación de Fortress de SUN utilizó Redex para especificar y explorar partes clave de su idioma.
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 un apéndice del informe. El apéndice juega el mismo papel que la especificación formal de Standard ML (Milner, Tofte, Harper, MacQueen) pero es ejecutable y, por lo tanto, puede visualizar ejemplos individuales.
Referencias
- ^ Listado de profesores del noroeste de EECS , consultado el 23 de junio de 2012.
- ^ Grupo PLT , Universidad de Brown, consultado el 23 de junio de 2012.
- ^ Robert Bruce Findler en el Proyecto de genealogía de las matemáticas
enlaces externos
- Página de inicio en la Universidad Northwestern
- Perfil académico de Google