Silvio Micali

賞

1. 2012

   チューリング賞

   情報科学

   for transformative work that laid the complexity-theoretic foundations for the science of cryptography, and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory