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


Scott Aaronson: Gentle Measurement of Quantum States and Differential Privacy
11/20/2018 - 4:00pm to 5:00pm Rati Gelashvili: Why Extension-based Proofs Fail
11/30/2018 - 1:00pm to 2:30pm Dean Doron: Probalisitic logspace algorithms for Laplacian solvers
12/11/2018 - 4:00pm to 5:00pm