Faculty Directory
Robby Findler

Professor of Electrical Engineering and Computer Science


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

847-467-0952Email Robby Findler


Robby Findler's Homepage


Electrical Engineering and 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)