Madhu Sudan

• Efficient checking of polynomials and proofs and the hardness of approximation problems