Manuel Blum
in recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking
永続的な影響を与える作品に対する表彰
in recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking