For foundational work on probabilistically checkable proofs and approximate solutions to NP-hard optimization problems.

[Fellows]   [Awards]