Stephen Cook, Micali, Goldwasser, Rabin, Scott, Karp, Hartmanis, Stearns, Manuel Blum, Yao and Valiant. These are all pure theoreticians; I didn't include data structures people and applied-ish cryptographers like RSA and DH.

More than a significant fraction of Turing awards have been won by theoreticians.