This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous. Find sources: "Robert Bruce Findler" – news · newspapers · books · scholar · JSTOR(June 2012) (Learn how and when to remove this message)
Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently, a professor of computer science at Northwestern University.[1] He is also a member of the PLT group[2] and, as such, responsible for the creation and maintenance of DrRacket. In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT. Findler is also a leading team member of the ProgramByDesign project.
Findler received his PhD at Rice University under the direction of Matthias Felleisen.[3] His dissertation was on the linguistics of software contracts, popularly known as design by contract. His work on software contracts provides a more careful accounting of blame, thereby helping programmers quickly home in on the faulty part of a software system.
In addition to DrRacket and software contracts, Findler focuses on the design and implementation of a workbench for semantics engineers. This workbench, called Redex, is a tool for specifying and executing the reduction semantics of a programming language. It is 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 their language.
Findler served as the semantics editor of the Revised^6 Report on the Scheme programming language. He and his PhD student Jacob Matthews developed a Redex model of the core semantics, which is included as an appendix of the report. The appendix plays the same role as Standard ML's formal specification (Milner, Tofte, Harper, MacQueen) but is executable and thus can visualize individual examples.
RobertBruceFindler, colloquially known as "Robby", is an American computer scientist, currently, a professor of computer science at Northwestern University...
Robert Tappan Morris (born November 8, 1965) is an American computer scientist and entrepreneur. He is best known for creating the Morris worm in 1988...
How to Design Programs (HtDP) is a textbook by Matthias Felleisen, RobertBruceFindler, Matthew Flatt, and Shriram Krishnamurthi on the systematic design...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
Martin, Robert (2019-08-22). "Why Clojure?". CleanCoder.com. Martin, Robert (2018-11-29). "Unble Bob Martin on Twitter". Twitter.com. Martin, Robert (2018-08-01)...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
on 21 December 2007. Retrieved 16 May 2009. Counter-free automata (with Robert McNaughton), 1971, ISBN 0-262-13076-9 Perceptrons (with Marvin Minsky),...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
several such applications at length is given by Matthias Felleisen, RobertBruceFindler and Matthew Flatt in Semantics Engineering with PLT Redex. Big-step...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
Evaluation of Lisp Systems, The MIT Press, 1985, ISBN 0-262-57193-5, PDF Robert Wilensky: Common LISPcraft, W.W. Norton & Co., 1986, ISBN 0-393-95544-3...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
Sperber, Michael; Dybvig, R. Kent; Flatt, Matthew; Van Straaten, Anton; Findler, Robby; Matthews, Jacob (August 2009). "Revised6 Report on the Algorithmic...
Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen RobertBruceFindler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt Timothy...
(Updated afterword ed.). New York, N.Y: Penguin Books. ISBN 978-0-14-100051-0. Robert X. Cringely's interview with Brewster Kahle, around the 46th minute "Richard...