Theoretical ideas have a real-life impact,” said Michael Oser Rabin in a 2009 interview, 1 and he spent nearly seven decades ...