Raz, who researches computational complexity theory, works on Boolean and algebraic circuit complexity, communication complexity, probabilistically checkable proofs and interactive proof systems. The ...