The complexonaut
Scott Aaronson travels the far reaches of computational complexity, shaping conventional and quantum computing.
Scott Aaronson travels the far reaches of computational complexity, shaping conventional and quantum computing.
Over three days in December, four research groups announced progress on a quantum-computing proposal made two years ago by MIT researchers.
Interactive proofs — mathematical games that underlie much modern cryptography — work even if players try to use quantum information to cheat.
A new twist on pioneering work done by MIT cryptographers almost 30 years ago could lead to better ways of structuring contracts.
After glancing over a 100-page proof that claimed to solve the biggest problem in computer science, Scott Aaronson bet his house that it was wrong. Why?
Constantinos Daskalakis applies the theory of computational complexity to game theory, with consequences in a range of disciplines.
The most notorious problem in theoretical computer science remains open, but the attempts to solve it have led to profound insights.