MIT LCS Theory of Computation Group

Research areas include algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies.