チューリング賞 1995: 勝者

受賞者

1. Manuel Blum

   情報科学

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