Experience
Education
Bio
From 2001 to 2005, he held research positions at Harvard University, MIT, the Radcliffe Institute for Advanced Study and the Toyota Technological Institute at Chicago. Since 2005, he has been a faculty member of the Computer Science Department at Technion - Israel Institute of Technology, Haifa. His research interests are in the areas of computational and proof complexity, probabilistically checkable proofs, locally testable error-correcting codes and succinct computational integrity.