Manuel Blum
in recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking
La reconnaissance d'un travail ayant un impact durable
in recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking