MIT LCS Theory of Computation Group
theory.lcs.mit.eduResearch areas include algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies.