Centre for Discrete Mathematics and Theoretical Computer Science - Research areas include artificial intelligence, combinatorial optimization, computability and complexity, and constructive algorithmics.

DIMACS - Center for Discrete Mathematics and Theoretical Computer Science, Rutgers, New Jersey.

ICS Theory Group - University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity.

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.

Stanford CS Theory - Research includes sequential and parallel algorithms, computational problems in databases, computational geometry, design and analysis of programs and programming languages, and combinatorial, logical, and algebraic mathematics.

Theoretical Computer Science at the University of Waterloo - Research areas include design and analysis of algorithms, models of computation, and computational complexity.

Theory Group: Mathematical Structures in Computer Science - Part of the Turku Centre for Computer Science, this group performs research in formal languages, automata, complexity theory, combinatorics on words, semigroups, universal algebras, term rewriting, concurrency and parallelism, cryptography and data security.

Alate: Research Group in Algorithms - Performs research in algorithms: applied, theoretical, experimental, for serial or parallel computers. Applications areas include statistics, discrete mathematics and simulation.