Michael Rabin, 1976 ACM Turing Award Recipient
Published 2016-10-25
More information:
amturing.acm.org/award_winners/rabin_9681074.cfm