Junto a Juris Hartmanis, recibió en 1993 el Premio Turing de la ACM "en reconocimiento a su artículo original que estableció los fundamentos del campo de la teoría de la complejidad computacional".