Key points are not available for this paper at this time.
Michael Oser Rabin died on April 14, 2026, in Jerusalem, Israel, at the age of 94. An ACM Turing Award Laureate, his contributions touch nearly every aspect of computing.
Spafford et al. (2026) studied this question.