Michael Rabin 1936-05-02 1972-01-19 Michael Rabin