Faculty Directory
Robby Findler

Associate Professor of Electrical Engineering and Computer Science

Contact

2145 Sheridan Road
Tech
Evanston, IL 60208-3109

Email Robby Findler

Website

Robby Findler's Homepage


Departments

Electrical Engineering and Computer Science

Education

Ph.D. Behavioral Software Contracts, Rice University, Houston, TX

B.S. Computer Science and Mathematics, Carnegie Mellon University, Pittsburgh, PA


Research Interests

Programming languages; PDEs, contracts, and tools to help semantics engineers


Selected Publications

  • Flatt, M.; Findler, R. B.; Dimoulas, C.; Felleisen, M.; Tobin-Hochstadt, S., “Run your research: on the effectiveness of lightweight mechanization”, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (2012)
  • C. Dimoulas, R. Findler, C. Flanagan and M. Felleisen, “Correct Blame for Contracts No More Scapegoating”, Popl 11: Proceedings of the 38th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages, (2011)