In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking.

• 因在计算复杂性理论、应用密码学和程序测试方面的贡献而获奖。