Avi Wigderson アヴィウィグダーソン

Avi WigdersonはIASの教授であり、証明複雑性や回路複雑性など、なぜ難しいか？どの程度難しいか？というランダムネスと複雑性の分類についてZero Knowledge Proofなどの革新的な概念を提唱しています。

https://www.math.ias.edu/avi/home

• Randomness and Computation
• Algorithms and Optimization
• Complexity Theory
• Circuit Complexity
• Proof Complexity
• Quantum Computation and Communication
• Cryptography and Distributed Computation

Mathematics and Computation by Avi Wigderson 2019

https://www.math.ias.edu/files/Book-online-Aug0619.pdf