Michael Rabin on Collaborating with Dana Scott on Finite Automata and Decision Problems 🤖

Michael O. Rabin, winner of the Association for Computing Machinery's A.M. Turing Award, discusses collaboration with Dana Scott, at an IBM research center in Princeton, to conduct the groundbreaking research published as “Finite Automata and their Decision Problems” in 1959. This clip is taken from an interview conducted with Rabin by David Harel for the ACM on November 12, 2015. Video of the full interview is available as part of Rabin’s ACM profile at https://amturing.acm.org/award_winners/rabin_9681074.cfm.