Juris Hartmanis

With Richard E. Stearns, in recognition of their seminal paper which established the foundations for the field of computational complexity theory.