This website does readability filtering of other pages. All styles, scripts, forms and ads are stripped. If you want your website excluded or have other feedback, use this form.

homepage | MIT CSAIL Theory of Computation

Skip to main content

Theory of Computation (TOC) has undergone a number of evolutions in a short span of time. From its beginning in the 1960s as an outgrowth of mathematical logic and information theory, it evolved into a branch of mathematics where one looks at classical problems with the aesthetics of computational complexity and asks new questions concerning non-determinism, randomness, approximation, interaction, and locality. It then took a foundational role in addressing challenges arising in computer systems and networks, such as error-free communication, cryptography, routing, and search, and is now a rising force in the sciences: exact, life, and social. The TOC group at MIT has played a leadership role in theoretical computer science since its very beginning. Today, research done at the TOC group covers an unusually broad spectrum of research topics.



Computation and Biology
Complexity Theory
Computation and Economics
Computational Connectomics
Cryptography and Information Security (CIS)
Distributed Systems
Parallel Computing
Quantum Information Science


Aleksander Madry wins the Presburger Award
Thu, 08/09/2018 Costis Daskalakis received the Simons Investigator Award
Thu, 08/09/2018 Costis Daskalakis wins the 2018 Rolf Nevanlinna Prize!
Wed, 08/01/2018


Lower Bounds for Dynamic Distributed Task Allocation
05/10/2019 - 1:00pm to 2:30pm Sampling Sketches for Concave Sublinear Functions of Frequencies
05/15/2019 - 4:00pm to 5:00pm New Problems and Perspectives on Learning, Testing, and Sampling in the Small Data Regime
05/16/2019 - 4:00pm to 5:00pm