Robby Findler
- Assistant Professor
- Department of Computer Science
- Assistant Professor
- Physical Sciences Collegiate Division
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
Office: Hinds B-002
Phone: (773) 702-4029
Fax: (773) 702-8487
robby@cs.uchicago.edu
Personal Homepage
http://www.cs.uchicago.edu/~robby/
Research
I work in programming languages. I'm interested in PDEs, contracts, and tools to help semantics engineers.
Projects
Technical Reports
- TR-2007-08
- Operational Semantics for Multi-Language Programs. Robert Bruce Findler; Jacob Matthews. 6 June, 2007. Communicated by Robby Findler.
- TR-2006-10
- Operational Semantics for Multi-Language Programs. Robby Findler; Jacob Matthews. 26 October, 2006. Communicated by Robby Findler.
- TR-2006-06
- 2006 Workshop on Scheme and Functional Programming. Robert Bruce Findler. 29 August, 2006. Communicated by Robby Findler.
- TR-2006-01
- Contracts as Pairs of Projections. Matthias Blume; Robby Findler. 20 January, 2006. Communicated by Robby Findler.
- TR-2005-15
- Contracts as Pairs of Projections. Matthias Blume; Robert Bruce Findler. 18 November, 2005. Communicated by Robby Findler.
- TR-2004-02
- An Investigation of Contracts as Projections. Matthias Felleisen; Matthias Blume; Robert Bruce Findler. 1 April, 2004. Communicated by Robby Findler.
