RIP Michael O. Rabin (co-inventor of the Rabin-Karp string search algorithm) a highly accomplished Turing Award pioneer.