Theory of Computation Group
Last updated Mar 20 '18
We look at classical problems with the aesthetics of computational complexity and ask questions concerning non-determinism, randomness, approximation, interaction, and locality. We’ve also played a foundational role in addressing challenges arising in computer systems and networks, such as error-free communication, cryptography, routing, and search. We are also now a rising force in the sciences: exact, life, and social.