Jump to content

Robert Bruce Findler

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Matthias.f (talk | contribs) at 14:54, 13 July 2007 (←Created page with 'Robert Bruce Findler, colloquially known as "Robby", is a computer scientist, currently teaching at the University of Chicago. He is also a member of [[PLT Scheme|P...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Robert Bruce Findler, colloquially known as "Robby", is a computer scientist, currently teaching at the University of Chicago. He is also a member of PLT and, as such, responsible for the creation and maintenance of DrScheme. In addition to DrScheme, Findler has contributed numerous components to PLT Scheme and supervises its Web-based software library, called PLaneT.

Findler received his PhD at Rice University under the direction of Matthias Felleisen. His dissertation is on the linguistics of software contracts, popularly known as design by contract.

In addition to DrScheme and software contracts, Findler focuses on the design and implementation of a workbench for semantics engineers. This workbench, currently dubbed REDEX, is a tool for specifying and executing the reduction semantics of a programming language. It is already widely used by programming language researchers in the US and Europe. Most recently, SUN's Fortress research team used REDEX to specify and explore key parts of the language.

Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Robert_Bruce_Findler&oldid=144408505"