Irit Dinur is a professor of computer science at the Weizmann Institute of Science. Her research is in foundations of computer science and in combinatorics, especially probabilistically checkable proofs and hardness of approximation.