Madhu Sudan

“For fundamental contributions to probabilistically checkable proofs and list decoding of Reed-Solomon codes.”