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.

>> MORE

RESEARCH GROUPS

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

NEWS / BLOGS

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

UPCOMING SEMINARS

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