Manuel Blum

賞

1. 1995

   チューリング賞

   情報科学

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