Silvio Micali

Prix

1. 2012

   prix Turing

   Informatique

   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