Knuth Prize in 2017
Currently, his main research areas belong to the interplay of randomness and computation. Specific examples include:
The study of various notions of pseudorandomness.
The study of various types of probabilistic proof systems.
The study of property testing, a notion of approximation for decision problems