Complexity Theory
Cryptography
Algorithmic theory of programs that check their work
Turing Award winner, Monie Ferst award for advising.