Robert Bruce Findler
This article may meet Wikipedia's criteria for speedy deletion as an article about a real person that does not credibly indicate the importance or significance of the subject. Note that this criterion applies only to articles about people themselves, not about their books, albums, shows, software, etc. See CSD A7.
If this article does not meet the criteria for speedy deletion, or you intend to fix it, please remove this notice, but do not remove this notice from pages that you have created yourself. If you created this page and you disagree with the given reason for deletion, you can click the button below and leave a message explaining why you believe it should not be deleted. You can also visit the talk page to check if you have received a response to your message. Note that this article may be deleted at any time if it unquestionably meets the speedy deletion criteria, or if an explanation posted to the talk page is found to be insufficient.
Note to administrators: this article has content on its talk page which should be checked before deletion. Administrators: check links, talk, history (last), and logs before deletion. Please confirm before deletion that the page doesn't seem to be intended as the author's userpage. If it does, move it to the proper location instead. Consider checking Google.This page was last edited by Matthias.f (contribs | logs) at 03:01, 15 July 2007 (UTC) (17 years ago) |
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_(programming_language) research team used REDEX to specify and explore key parts of the language.
Currently Findler serves as the semantics editor of the Revised^6 Report on the Scheme programming language. He and his PhD student Jacob Matthews have developed a REDEX model of the core semantics, which is included as an appendix of the report. The appendix plays the same role as ML's formal specification (Milner, Tofte, Harper) but is executable and thus visualize individual examples.
External links
- Home page at the University of Chicago