Summary
Michael Rabin was one of the most important early thinkers in computer science, helping to create many foundational ideas. This paper looks at his broad influence across the field over many years. Rabin’s work helped explain how computers can solve problems and shaped how we think about algorithms and computation. His contributions remain important even decades later.
What this means in practice
- •For software architects: Use foundational concepts influenced by Rabin to design efficient algorithms and verify system correctness.
- •For cryptography engineers: Employ theoretical frameworks inspired by Rabin to develop secure cryptographic protocols.
A survey. It maps existing work.
Abstract
Michael O. Rabin was a major founder and leader of theoretical computer science. He died on April 14, 2026, at the age of 94. This paper aims to survey the wide scope and lasting impact of his research.