Faculty Directory
Robby Findler

Professor of Computer Science


2233 Tech Drive
Mudd Room 3502
Evanston, IL 60208-3109

847-467-0952Email Robby Findler


Robby Findler's Homepage


Computer Science


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

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

Research Interests

Programming languages; program development environments, 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)