Theory research at CSAIL covers a broad spectrum of topics, including algorithms, complexity theory, cryptography, distributed systems, parallel computing and quantum computing.

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.

Research Areas

Impact Areas



 24 More


 2 More