Han er mottager av blant annet Turing-prisen og et stort antall andre priser for sitt arbeide.