Theoretical Computer Science is the quantitative and formal study of computing: which problems can be solved? what resources (for example, time or memory space) are required to solve them? The group's faculty specialize in a variety of areas, including the complexity of algebraic computations, the complexity of parallel computation, the descriptive complexity of computation, and the theory of parallel and distributed processing.