Faculty Directory
Robby Findler

Associate Professor of Electrical Engineering and Computer Science


2145 Sheridan Road
Tech Room L454
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; 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)